Iterated Inductive Definitions and Subsystems of Analysis
by S. Feferman, W. Buchholz, W. Pohlers, W. Sieg
Mathematical analysisInduction (mathematics)Proof theoryMathematicsSymbolic and mathematical LogicMathematical Logic and Foundations
Writing a summary for young readers…
For young readers
Book data: Open Library