Logo Logo
Help
Contact
Switch Language to German
Buchholz, Wilfried (1986): A new system of proof-theoretic ordinal functions. In: Annals of pure and applied logic, Vol. 32: pp. 195-207
[img]
Preview
951kB