Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Buchholz, Wilfried (1992): A simplified version of local predicativity. In: Aczel, Peter; Simmons, Harold; Wainer, Stanley S. (Hrsg.): Proof theory. Leeds: Cambridge University Press S. 117-147
[img]
Vorschau

PDF

1MB