Caferra, Ricardo. , <br/><br/>
Logic for computer science and artificial intelligence / 
Ricardo Caferra. 
 - xii, 523 pages :   illustrations ;   24 cm. 
<br/><br/><label>ISBN: </label>9781848213012 1848213018 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic.<br/>Artificial intelligence.
<br/><br/><label>LC Class. No.: </label>QA76.9.L63   / .C33 2011