Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit ...-Separation und Bar-Induktion:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Schütte, Kurt (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: München Verl. d. Bayer. Akad. d. Wiss. 1988
Schriftenreihe:Bayerische Akademie der Wissenschaften <München> / Mathematisch-Naturwissenschaftliche Klasse: Sitzungsberichte 1987,2.
Beschreibung:S. 12-41

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!