TY  - BOOK
AU  - Hortalá González,Teresa
AU  - Martí Oliet,Narciso
AU  - Palomino Tarjuelo,Miguel
AU  - Rodríguez Artalejo,Mario
TI  - Lógica matemática para informáticos: ejercicios resueltos 
T2  - Prentice Práctica
SN  - 9788483224540
U1  - 511.3  
PY  - 2008///
CY  - Madrid
PB  - Pearson Educacion, S.A.
KW  - Cálculo lógico
KW  - Lógica de primer orden
KW  - Lógica proposicional
KW  - Razonamiento
ER  -