TY - BOOK AU - Buchholz,Wilfried TI - Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies T2 - Lecture notes in mathematics SN - 0387111700 (U.S. : pbk.) PY - 1981/// CY - Berlin, New York PB - Springer-Verlag KW - Mathematical analysis KW - Induction (Mathematics) KW - Proof theory N1 - Includes index; Bibliography: p. [358]-368 ER -