Logo Logo
Help
Contact
Switch Language to German

Buchholz, Wilfried and 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. [PDF, 1MB]

[thumbnail of 3840.pdf]
Preview
Download (1MB)

Actions (login required)

View Item View Item