TY  - BOOK
AU  - Cuena,José
TI  - Lógica informática
T2  - Alianza- Informática
U1  - 519.4  
PY  - 1998///
CY  - Madrid
PB  - Alianza
KW  - Lógica simbólica y matemática
KW  - Programación (Matemáticas)
N1  - Incluye bibliografía
ER  -