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]
| 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 |
- Dokument bearbeiten
