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

[thumbnail of 3840.pdf]
Vorschau
Download (1MB)
Dokument bearbeiten Dokument bearbeiten