Logo Logo
Hilfe
Hilfe
Switch Language to English

Buchholz, Wilfried (1986): A new system of proof-theoretic ordinal functions. In: Annals of pure and applied logic, Bd. 32: S. 195-207 [PDF, 951kB]

[thumbnail of 3841.pdf]
Vorschau
Download (951kB)
Dokument bearbeiten Dokument bearbeiten