Iterated inductive definitions and subsystems of analysis recent proof-theoritical studies - Buchholz Wilfried (Berlin Springer-Verlag, 1981)
Keywords: Inductive mathematics; Mathematical logic