Cuena, José. <br/><br/>
Lógica informática / 
José Cuena. 
 - Madrid :  Alianza Editorial,  c1985. 
 - iv, 552 paginas. :  fig. ;  23 cm. 
 - Alianza-informática .
<br/><br/>Cálculo de predicados ; sistemas axiomáticos en lógica de primer orden ; lógica modal ; lógica de programas ; bases teóricas de las técnicas de demostración  
<br/><br/><label>ISBN: </label>8420686018 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Informática.<br/>Lógica Matemática.<br/>Programación (Matemáticas)<br/>Programación lógica.
<br/><br/><label>Dewey Class. No.: </label>511.3 C96l