Iranzo Pascual, Julián <br/><br/>
Lógica simbólica para informáticos 

 - México  Alfaomega Grupo Editor  2005 
 - 299 p. 
<br/><br/><label>ISBN: </label>970-15-10722-0 
<br/><br/><label>Dewey Class. No.: </label>005.131  / J87