Ricardo Caferra <br/><br/>
Logic for computer science and artificial intelligence 

 - Hoboken ;  John Wiley & Sons,  2011. 
 - ix,523p. :  ill. ;  25cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>978-1-84821-301-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic<br/> Artificial intelligence
<br/><br/><label>LC Class. No.: </label>QA76.9.L63C34 2011