Reeves, Steve <br/><br/>
Logic for computer science / 
Steve Reeves, Michael Clarke 
 - Reading, Mass. :  Addison-Wesley,  1990 
 - 260 p. :  ill. ;  23 cm. 
 - International computer science series .
<br/><br/>p. 255-256. 
<br/><br/><label>ISBN: </label>0201416433 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical