Lógica Matemática para Informáticos   Ejercicios Resueltos  
Hortalá González, Teresa; Martí Oliet, Narciso; Palomino Tarjuelo, Miguel; Rodríguez Artalejo, Mario y Vírseda, Rafael del Vado 
 - Madrid   Pearson  2008 
 - 390 P.   graf.  27 cm. 
<br/><br/>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 
<br/><br/><label>ISBN: </label>978-84-8322-454-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INFORMÁTICA \\ LÓGICA MATEMÁTICAÌ
<br/><br/><label>Dewey Class. No.: </label>511.3  / L832