Iterated inductive definitions and subsystems of analysis - Buchholz W (Berlin Springer-Verlag, 1981)
Keywords: Mathematical Analysis; Mathematics