Research Catalog
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
- Title
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.].
- Publication
- Berlin ; New York : Springer-Verlag, 1981.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v. 895-897 | Text | Request in advance | JSM 95-200 v. 895-897 | Offsite |
Details
- Additional Authors
- Buchholz, Wilfried, 1948-
- Description
- v, 383 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in mathematics ; \897
- Uniform Title
- University of Arkansas lecture notes in mathematics ; \897.
- Subject
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [358]-368.
- Call Number
- JSM 95-200 no. 897
- ISBN
- 0387111700 (U.S. : pbk.)
- LCCN
- 81021364
- OCLC
- 8034623
- NYPG84-B9840
- Title
- Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.].
- Imprint
- Berlin ; New York : Springer-Verlag, 1981.
- Series
- Lecture notes in mathematics ; \897University of Arkansas lecture notes in mathematics ; \897.
- Bibliography
- Bibliography: p. [358]-368.
- Added Author
- Buchholz, Wilfried, 1948-
- Research Call Number
- JSM 95-200 no. 897