Reeves,steve/clarke,michael  <br/><br/>
Logic for computer science  

 - Addison-wesley  
<br/><br/><label>ISBN: </label>0201416433 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Logic, symbolic and mathematical 
<br/><br/><label>Dewey Class. No.: </label>004.01511REE