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.; 25 cm.
- Lecture notes in mathematics ; 897. .
- Lecture notes in mathematics (Springer-Verlag); 897. .
Includes index.
Bibliography: p. [358]-368.
0387111700 (U.S. : pbk.)
81021364
Analyse mathématique---Fondements.
Induction (Mathématiques).-
Preuve, théorie de la.-
Mathematical analysis---Foundations
Induction (Mathematics)-
Proof theory-
510 s 511