Buchholz, Wilfried
(1986):
A new system of proof-theoretic ordinal functions.
In: Annals of pure and applied logic, Bd. 32: S. 195-207
[PDF, 951kB]
Vorschau
Dokumententyp: | Zeitschriftenartikel |
---|---|
Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
URN: | urn:nbn:de:bvb:19-epub-3841-6 |
Signatur: | BSB:Z 70.882-32/33 |
Sprache: | Englisch |
Dokumenten ID: | 3841 |
Datum der Veröffentlichung auf Open Access LMU: | 16. Mai 2008, 09:05 |
Letzte Änderungen: | 04. Nov. 2020, 12:47 |