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. 1987
Schriftenreihe:Bayerische Akademie der Wissenschaften <München> / Mathematisch-Naturwissenschaftliche Klasse: Sonderdrucke aus den Sitzungsberichten 1987,2
Beschreibung:Ca. 30 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!