
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
- Kirjailija
- W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
- Painos
- 1981 ed.
- ISBN
- 9783540111702
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.12.1981
- Sivumäärä
- 384