

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
- Författare
- W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
- ISBN
- 9783540386490
- Språk
- Engelska
- Utgivningsdatum
- 2006-11-14
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
