TY  - BOOK
AU  - Becerra Correa, Nelson
TI  - Conceptos elementales de lógica informática / 
T2  - Libro universitario
SN  - 9789588782157
U1  - 004.0151 B389 
PY  - 2012///
CY  - Colombia : 
PB  - Ecoe ediciones, 
KW  - CÁLCULO PROPOSICIONAL
KW  - INFORMATICA
KW  - MATEMATICAS
KW  - 2.LÓGICA SIMBÓLICA Y MATEMÁTICAS
KW  - LÓGICA (INFORMATICA)
N1  - incluye : Bibliografía e índice; conceptos generales de lógica, -- 2.lógica proposicional, -- 3. lógica predicados, -- 4.deducción natural, -- 5. técnicas resolución SAT
ER  -