Reeves, Steve, <br/><br/>
Logic for computer science (E-BOOK) 
Steve Reeves, Michael Clarke. 
 - Wokingham, England ;  Reading, Mass. :  Addison-Wesley,  c1990. 
 - xi, 260 p. :  ill. ;  24 cm. 
 - International computer science series .
<br/><br/><label>ISBN: </label>0201416433 
<br/><br/><label>LCCN: </label>90032374 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.
<br/><br/><label>Subjects--Geographic Terms: </label><br/>Logic for computer science (E-BOOK)
<br/><br/><label>Dewey Class. No.: </label>004.015113