Buchholz, Wilfried
(September 1991):
Notation systems for infinitary derivations.
In: Archive for Mathematical Logic, Nr. 30: S. 277-296
[PDF, 967kB]
Vorschau
Download (967kB)
DOI: 10.1007/BF01621472
Externer Volltext: http://www.springerlink.com/content/100504/?p=050681c82f484506ae31fc37f36c85c1&pi=0
| Dokumententyp: | Zeitschriftenartikel |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-3846-3 |
| ISSN: | 0933-5846 |
| Sprache: | Englisch |
| Dokumenten ID: | 3846 |
| Datum der Veröffentlichung auf Open Access LMU: | 16. Mai 2008, 10:05 |
| Letzte Änderungen: | 13. Aug. 2024, 11:47 |
- Dokument bearbeiten
