Title: Iterated Inductive Definitions and Subsystems of Analysis
Subjects: Mathematical analysis, Induction (mathematics), Proof theory, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations