Hortalá González Teresa <br/><br/>
Lógica matemática para informáticos :   Ejercicios resueltos /  
Teresa Hortala Gonzalez 
 - España :   PearsonPrentice-Hall 
 - 390 p. 
<br/><br/> Compra realizada en Diciembre de 2012 Libreria Plaza y Janes  
<br/><br/>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. \  
<br/><br/><label>ISBN: </label>9788483224540 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica matemática; Logica programada; Cálculo (Electrónica).
<br/><br/><label>LC Class. No.: </label>510 H821l