
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
- Forfatter
- W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
- Opplag
- 1981 ed.
- ISBN
- 9783540111702
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 1.12.1981
- Antall sider
- 384
