CLARKE,MICHAEL, REEVES,STEVE <br/><br/>
LOGIC FOR COMPUTER SCIENCE 

 - ENGLAND  AW  1990 
 -  260 
 - INTERNATIONAL COMPUTER SCIENCE SERIES .
<br/><br/> BR-981 
<br/><br/><label>ISBN: </label>KBCS  32.25 
<br/><br/><label>Dewey Class. No.: </label>901