Skip to Main NavigationSkip to Content
Publications by the academy, its research projects and institutes
-
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.
-
-