Caferra, Ricardo <br/><br/>
Logic for computer science and artificial intelligence / 
Ricardo Caferra 
 - London, UK :  Wiley,  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