|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Buchbeitrag
Anzahl der Publikationen: 1
Buchbeitrag
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]