Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Buchholz, Wilfried (VerfasserIn), Schütte, Kurt (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: München Verl. d. Bayer. Akad. d. Wiss. 1983
Schriftenreihe:Bayerische Akademie der Wissenschaften <München> / Mathematisch-Naturwissenschaftliche Klasse: Sitzungsberichte / Sonderdruck 1983,3.
Schlagworte:
Online-Zugang:Volltext // 2015 digitalisiert von: Universitätsbibliothek der Ludwig-Maximilians-Universität München. Exemplar mit der Signatur: München, Universitätsbibliothek -- 0001/8 N 9596
Beschreibung:S. [99] - 132
ISBN:3769647068

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!