TY  - BOOK
AU  - Farré Cirera,Rafael
AU  - Nieuwenhuis,Robert
AU  - Nivela,Pilar
AU  - Oliveras,Albert
AU  - Rodríguez,Enric
AU  - Sierra,Josefina
TI  - Lógica para informáticos
SN  - 9786077071655
U1  - 510.6  / 
PY  - 2012///
CY  - México
PB  - Alfaomega
KW  - Computer logic
KW  - Lógica computacional
N1  - "Área: Computación. Sub área: Teoría de la computación"
N2  - Preliminares.-- Definición de la lógica profesional.-- Deducción en la lógica proporcional.-- Definición de la lógica de primer orden.--Deducción  en la lógica de primer orden.-- Fundamentos de la programación lógica.-- Ejercicio resueltos
ER  -