Caferra, Ricardo,  1945- <br/><br/>
Logic for computer science and artificial intelligence / 
Ricardo Caferra. 
 - London :  ISTE,  2011. 
 - xii, 523 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781848213012 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic.<br/>Artificial intelligence.