TY  - BOOK
TI  - Lógica Matemática para Informáticos : Ejercicios Resueltos 
SN  - 978-84-8322-454-0
U1  - 511.3 
PY  - 2008///
CY  - Madrid 
PB  - Pearson
KW  - INFORMÁTICA \\ LÓGICA MATEMÁTICAÌ
N1  - Sintaxis y Semántica - Formaliación. Técnicas de Razonamiento - Equivalencia Lógica. Leyes Booleanas - Cálculo Lógico con Tableaux - Lógica de Primer Orden - Cálculo Lógico con Resolución - Ejercicios Propuestos
ER  -