Imagen de Amazon.com
Subsystems of second order arithmetic / Stephen G. Simpson
Tipo de material:
TextoIdioma: ENG Series Perspectives in mathematical logicEditor: Berlin ; New York : Springer Verlag, c1999Descripción: xiv, 444 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540648828 (encuadernado en tela : papel alcalino)Tema(s): Cálculo de predicadosClasificación CDD: 511.3 Clasificación LoC:QA9.7 | S55
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | Coleccion General | QA9.7 S55 (Navegar estantería(Abre debajo)) | 1 | Disponible | 91029 | ||
|
Libros
|
Libros Libros | Coleccion General | QA9.7 S55 (Navegar estantería(Abre debajo)) | 1 | Disponible | 91030 | ||
|
Libros
|
Libros Libros | Coleccion General | QA9.7 S55 (Navegar estantería(Abre debajo)) | 1 | Disponible | 102756 | ||
|
Libros
|
Libros Libros | Coleccion General | QA9.7 S55 (Navegar estantería(Abre debajo)) | 1 | Disponible | 102372 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| QA9.7 S55 Subsystems of second order arithmetic / | QA9.7 S55 Subsystems of second order arithmetic / | QA9.7 S55 Subsystems of second order arithmetic / | QA9.7 S55 Subsystems of second order arithmetic / | QA9.8 H62 Gödel, Escher, Bach : | QA9.8 H62 1979 Gödel, Escher, Bach : | QA9.8 H6218 Gödel, Escher, Bach : |
Incluye referencias bibliograficas (p. [413]-424) e indice
No hay comentarios en este titulo.