
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
- Författare
- W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
- Upplaga
- 1981 ed.
- ISBN
- 9783540111702
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1981-12-01
- Sidor
- 384
