Caferra, Ricardo. <br/><br/>
Logic for computer science and artificial intelligence / 
Ricardo caferro 
 - U.S :  John Wiley & son,   2011 
<br/><br/><label>ISBN: </label>9781848213012 
<br/><br/><label>Subjects--Topical Terms: </label><br/>computer science
<br/><br/><label>Dewey Class. No.: </label>006.3  / CAF