Juliàn, Iranzo Pascual <br/><br/>
Lògica Simbòlica para informàticos 

 - México :   Alfaomega 
 - 299p. 
<br/><br/>Introduccion a la logica, Semantica, Calculo axiomatico y propiedades formales, Logica de predicados, Semantica, Calculo de decuccion natural 
<br/><br/><label>ISBN: </label>9701510720 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGICA - CLASIFICACION <br/>LOGICA SIMBOLICA Y MATEMATICA 
<br/><br/><label>Dewey Class. No.: </label>005.131 J854l