Reeves, Steve. <br/><br/>
Logic for computer science   
by Steve Reeves, Michael Clarke. 
 - Wokingham  A-W  1990 
 - v, 260p 
 - International Computer Science series .
<br/><br/><label>ISBN: </label>0201416433 
<br/><br/><label>Dewey Class. No.: </label>004.015113  / N90