Subsystems of Second Order Arithmetic
Edición de la obra Subsystems of Second Order Arithmetic
| Autor | Stephen G. Simpson |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2009 |
| Lugar | Leiden |
| Idioma | inglés |
| Páginas | 462 |
| Formato | [electronic resource] |
| ISBN-13 | 9780511579851 |
| ISBN-10 | 0511579853 |
| OCLC | 609843112 |
| Serie | Perspectives in Logic · Perspectives in Logic |