Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies /
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1981.
|
| Series: | Lecture notes in mathematics (Springer-Verlag) ;
897. |
| Subjects: |
| Item Description: | Includes indexes. |
|---|---|
| Physical Description: | v, 383 pages ; 24 cm. |
| Bibliography: | Bibliography: pages [358]-368. |
| ISBN: | 0387111700 (U.S.) |