TY  - BOOK
AU  - Cuena, José
TI  - Lógica informática
SN  - 968-6001-31-X
AV  - BC 135 C76.1986
PY  - 1986///
CY  - México
PB  - Alianza
KW  - Lógica simbólica y matemática
KW  - Programación de computadoras
N1  - Incluye bibliografía
ER  -