Iterated inductive definitions and subsystems of analysis
Subtitle: recent proof-theoretical studies
By: Wilfried Buchholz ... [et al.].
Contributors: Buchholz, Wilfried, 1948-
Series: Lecture notes in mathematics ;; 897; Lecture notes in mathematics (Springer-Verlag) ;; 897.
Publisher: Springer-Verlag
Published: 1981
Place of publication: Berlin; New York
Language: eng
Number of pages: 383
Subjects: Mathematical analysis -- Foundations.; Induction (Mathematics); Proof theory.
Notes: Bibliography: p. [358]-368.
Includes index.