TY  - BOOK
AU  - Hortalá González Teresa
ED  - Marti Oliet Narciso , \ Palomino Tarjuelo, Miguel  \ Rodríguez Artalejo, Mario  \ Del Vado Vírseda, Rafael  \ 
TI  - Lógica matemática para informáticos : : Ejercicios resueltos / 
SN  - 9788483224540
AV  - 510 H821l 
CY  - España : 
PB  - PearsonPrentice-Hall
KW  - Lógica matemática; Logica programada; Cálculo (Electrónica)
N1  - Compra realizada en Diciembre de 2012 Libreria Plaza y Janes; Lógica proposicional  --  Formalización. Técnicas de razonamiento  --  Equivalencia lógica. Leyes booleanas  --  Cálculo lógico con tableaux  --  Sintaxis y semántica  --  Equivalencia lógica. Leyes de los cuantificadores  --  Cálculo lógico con resolución. \
ER  -