Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies NXZ22YFDXF
| URI | m2://res/NXZ22YFDXF |
|---|---|
| Kind | monograph |
| Creators | Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg |
| Date | 1981 |
| MSC | 03F05, 03F10, 03-02, 03F15 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1981 |
| Ids | DOI 10.1007/bfb0091894, zbl 0489.03022, zbl_id 3769619 |
- m1: print, Springer Berlin Heidelberg, 1981 (record). isbn 9783540111702, isbn 9783540386490
Relations
- part_of Lecture Notes in Mathematics
Cited by
Catalogue records
- springer-series: 10.1007/bfb0091894 (work)
- zbmath_search: 3769619 (work)