Lógica y lenguajes formales Carlos Lungarzo.
Por: Lungarzo, Carlos.
Editor: Buenos Aires : Centro editor de América latina, 1986Descripción: gráficos, tablas.ISBN: 9502513150.Tema(s): TEORIA LOGICA | RAZONAMIENTO | DEDUCCION | LOGICA MATEMATICA | SEMANTICA | RELACIONES SEMANTICAS
Contenidos:
v.2. Sistemas de primer orden y deducción
Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 511.3 LUN (Navegar estantería) | 1 | Disponible | |
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION | 511.3 LUN (Navegar estantería) | 2 | Disponible |
, Ubicación: SALA Cerrar el navegador de estanterías
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
511.3 HAM Logic for mathematicians / | 511.3 ISA Lenguajes, gramáticas y autómatas : | 511.3 LUN Lógica y lenguajes formales | 511.3 LUN Lógica y lenguajes formales | 511.3 MOR Lógica matemática : | 511.3 NAI Lógica para computación / | 511.3 OUB Introducción a la teoría de conjuntos |
v.2. Sistemas de primer orden y deducción