Subsystems of second order arithmetic
Edición de la obra Subsystems of second-order arithmetic
| Autor | Stephen G. Simpson |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1999 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 444 |
| ISBN-10 | 3540648828 |
| OCLC | 39860098 |
| LCCN | 98043371 |
| Serie | Perspectives in mathematical logic, |
| Número de Cutter | S613s |