Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
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