Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies /
Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies /
Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg.
- Berlin ; New York : Springer-Verlag, 1981.
- v, 383 p. : ill. ; 25 cm.
- Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 897 .
- Lecture notes in mathematics (Springer-Verlag) ; 897. .
Includes index.
Bibliogr.: p. [358]-368.
0387111700 (U.S. : pbk.)
Mathematical analysis--Foundations
Induction (Mathematics)
Proof theory
510 s 511
Includes index.
Bibliogr.: p. [358]-368.
0387111700 (U.S. : pbk.)
Mathematical analysis--Foundations
Induction (Mathematics)
Proof theory
510 s 511
All site content, except where otherwise noted, is licensed under a