zur Hauptnavigation springenzum Inhaltsbereich springen
Publikationen der Akademie und ihrer Forschungsvorhaben und Einrichtungen
-
Buchholz, Wilfried
-
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion
-
Sitzungsbericht der Bayerischen Akademie der Wissenschaften
-
1983,3
-
3-7696-4706-8
-
BV000364796
-
1983, Verl. d. Bayer. Akad. d. Wiss., München
-
S. 100 - 132 S.
-
-