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 [PDF, 951kB]

Actions (login required)

View Item View Item