Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies /
Wilfried Buchholz ... [et al.].
- Berlin New York Springer-Verlag 1981
- v, 383 p. ill.
- Lecture notes in mathematics 897 .
- Lecture notes in mathematics (Springer-Verlag) ; 897. .
Includes index.
Bibliography: p. [358]-368.
0387111700 (U.S. : pbk.)
Mathematical analysis
Induction (Mathematics)
Proof theory.
51 / LNM
Includes index.
Bibliography: p. [358]-368.
0387111700 (U.S. : pbk.)
Mathematical analysis
Induction (Mathematics)
Proof theory.
51 / LNM