Lógica matemática para informáticos :  ejercicios resueltos / 
Teresa Hortalá González... [et. al] 
 - Madrid :  Pearson Educacion, S.A.,  2008. 
 - 390 p. 
 - Prentice Práctica .
<br/><br/><label>ISBN: </label>9788483224540 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Cálculo lógico<br/>Lógica de primer orden<br/>Lógica proposicional<br/>Razonamiento
<br/><br/><label>Dewey Class. No.: </label>511.3   / L64l