Logo
DeutschClear Cookie - decide language by browser settings
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

PDF

951kB