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, Vol. 32: S. 195-207
[img]
Vorschau

PDF

951kB