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

 - México, D. F.  Alfaomega  2005 
<br/><br/><label>ISBN: </label>970-15-1072-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA SIMBÓLICA APLICADA (INFORMÁTICA)