Reeves, Steve <br/><br/>
Logic for computer science 

 - Newyork  Addison-Wesley 
 - vi,260 
<br/><br/><label>ISBN: </label>0201416433 
<br/><br/><label>Dewey Class. No.: </label>004.047 REE