Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.].
Material type: TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 897.Publication details: Berlin New York Springer-Verlag 1981Description: v, 383 p. illISBN: 0387111700 (U.S. : pbk.)Subject(s): Mathematical analysis | Induction (Mathematics) | Proof theory | MathematicsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 51 LNM (Browse shelf (Opens below)) | Available | 32902 |
Includes index.
Bibliography: p. [358]-368.
There are no comments on this title.