

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
- Kirjailija
- W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
- ISBN
- 9783540386490
- Kieli
- englanti
- Julkaisupäivä
- 14.11.2006
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone