Caferra, Ricardo,  1945- <br/><br/>
Logic for computer science and artificial intelligence / 
Ricardo Caferra. 
 - London :  Hoboken, NJ :  ISTE ;  Wiley,  2011. 
 - xii, 523 p. :  ill. ;  24 cm. 
<br/><br/><label>ISBN: </label>9781848213012 
<br/><br/><label>LCCN: </label>2011014705 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic.<br/>Artificial intelligence.
<br/><br/><label>LC Class. No.: </label>QA76.9.L63  / C34 2011 
<br/><br/><label>Dewey Class. No.: </label>006.3