Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies / Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg.
Material type:
TextLanguage: English Series: Lecture notes in mathematics (Springer-Verlag) ; 897.Publication details: Berlin ; New York : Springer-Verlag, 1981Description: v, 383 p. : ill. ; 25 cmISBN: 0387111700 (U.S. : pbk.)Subject(s): Mathematical analysis -- Foundations | Induction (Mathematics) | Proof theoryDDC classification: 510 s | 511
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/5863 (Browse shelf(Opens below)) | Available | ILL Non-Circ. | FL0015207 |
Includes index.
Bibliogr.: p. [358]-368.
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.