Buchholz, Wilfried
(1992):
A simplified version of local predicativity.
In: Aczel, Peter; Simmons, Harold und Wainer, Stanley S. (Hrsg.):
Proof theory. Leeds: Cambridge University Press. S. 117-147
[PDF, 1MB]
Vorschau
Download (1MB)
| Dokumententyp: | Buchbeitrag |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-3847-9 |
| ISBN: | 0-521-41413-X |
| Ort: | Leeds |
| Signatur: | BSB:94.28598 |
| Sprache: | Englisch |
| Dokumenten ID: | 3847 |
| Datum der Veröffentlichung auf Open Access LMU: | 16. Mai 2008, 10:10 |
| Letzte Änderungen: | 04. Nov. 2020, 12:47 |
- Dokument bearbeiten
