Imagen de Amazon.com
Undecidable theories / Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson
Tipo de material:
TextoSeries Dover books on mathematicsEditor: Mineola, New York : Dover, 2010Descripción: ix, 98 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 9780486477039 (rústica); 0-486-47703-7 (rústica)Tema(s): MetamatematicasClasificación CDD: 510.1 Clasificación LoC:QA9 | T355 2010
| 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 T355 2010 (Navegar estantería(Abre debajo)) | 1 | Disponible | 116906 |
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 T35 1965 Introduction to logic and to the methodology of deductive sciences | QA9 T35 1965 Introduction to logic and to the methodology of deductive sciences | QA9 T355 1968 Undecidable theories / | QA9 T355 2010 Undecidable theories / | QA9 T45 Symbolic logic; and introduction. | QA9 T6 Introduccion a la epistemologia y fundamentacion de la Matemática / | QA9 V45 How to prove it : |
No hay comentarios en este titulo.