Vista normal
Vista MARC
Modern uses of multiple-valued logic / ed. J. Michael Dunn and George Epstein ; with a bibliography of many-valued logic by Robert G. Wolf
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 90-277-0747-2
- QA 9.45 I57.1977
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.45 I57.1977 (Navegar estantería(Abre debajo)) | Disponible | 183015 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
QA 9.2 A53.2007 Exprimiendo neuronas : el creativo placer de las matemáticas / | QA 9.3 S43 Classical propositional operators : an exervise in the foundations of logic / | QA 9.35 V28 El Desarrollo de la teoría de la cuantificación / | QA 9.45 I57.1977 Modern uses of multiple-valued logic / | QA 9.46 B68.1979 Model theory for modal logic : Kripke models for modal predicate calculi / | QA 9.5 B36.1984 The Lambda calculus : its syntax and semantics / | QA 9.5 C8718.1967 Lógica combinatoria / |
Incluye índice.