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
No hay comentarios en este titulo.