Iterated Inductive Definitions and Subsystems of Analysis
Iterated Inductive Definitions and Subsystems of Analysis1981
Details
- First published
- 1981
- OL Work ID
- OL27321580W
Subjects
Mathematical analysisInduction (mathematics)Proof theoryMathematicsSymbolic and mathematical LogicMathematical Logic and Foundations