Logo Logo
Help
Contact
Switch Language to German
Buchholz, Wilfried; 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]
Preview
1MB