Imagen de Amazon.com
To h. b. curry : Essays on combinatory logic, lambda calculus and formalism / Edited by j. p. seldin, j. r. hindley
Tipo de material:
TextoEditor: London : Academic, 1980Descripción: 606 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0123490502Tema(s): Lógica simbólica y matemáticaClasificación LoC:QA9 | S44
| 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 S44 (Navegar estantería(Abre debajo)) | 1 | Disponible | 30559 |
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 S23 2010 Saturated model theory / | QA9 S23 2010 Saturated model theory / | QA9 S39 Logique et mathematique : | QA9 S44 To h. b. curry : | QA9 S57 1995 First-order logic / | QA9 S65 1990 How to read and do proofs : | QA9 S728 A course on mathematical logic / |
No hay comentarios en este titulo.