Imagen de Amazon.com
An introduction to mathematical logic and type theory : To truth through proof / Peter b. andrews
Tipo de material:
TextoEditor: Orlando, Florida : Academic, 1986Descripción: 304 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0120585367; 0-12-058535-9Tema(s): Lógica simbólica y matemáticaClasificación LoC:QA9 | A53
| 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 | General | QA9 A53 (Navegar estantería(Abre debajo)) | 1 | Disponible | 6393 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| QA871 S835 Retarded dynamical systems : | QA871 T46 2002 Nonlinear dynamics and chaos / | QA9 A33 Logic of mathematics : | QA9 A53 An introduction to mathematical logic and type theory : | QA9 A865 Mathematical logic and computation | QA9 B36 An algebraic introduction to mathematical logic / | QA9 B37 Philosophy of mathematics. |
No hay comentarios en este titulo.