Logo Logo
Hilfe
Hilfe
Switch Language to English
Buchholz, Wilfried und Schütte, K. (1983): Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion. München: Verlag der Bayerischen Akademie der Wissenschaften.
[img]
Vorschau

PDF

1MB