TY  - BOOK
AU  - Hortalá González,María Teresa
TI  - Lógica matemática para informáticos: ejercicios resueltos 
T2  - Prentice práctica
SN  - 8483224542
U1  - 511.3 
PY  - 2008///
CY  - Madrid
PB  - Pearson Prentice Hall
KW  - Lógica matemática
KW  - Problemas, ejercicios, etc
KW  - Lógica simbólica
N1  - Incluye bibliografía
ER  -