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