Logo Logo
Hilfe
Hilfe
Switch Language to English

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]

[thumbnail of 3847.pdf]
Vorschau
Download (1MB)
Dokument bearbeiten Dokument bearbeiten