![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | Date
Jump to: Book Section
Number of items: 1.
Book Section
Buchholz, Wilfried
(1992):
A simplified version of local predicativity.
In: Aczel, Peter; Simmons, Harold und Wainer, Stanley S. (eds.) :
Proof theory. Leeds: Cambridge University Press. pp. 117-147
[PDF, 1MB]