RICHARDS,TOM <br/><br/>
CLAUSAL FORM LOGIC: AN INTRODUCTION TO THE LOGIC OF COMPUTER REASONING 

 - SYDNEY  AW  1989 
 -  359 
 - INTERNATIONAL COMPUTER SCIENCE SERIES .
<br/><br/> BR-965 
<br/><br/><label>ISBN: </label>KBCS  41.25 
<br/><br/><label>Dewey Class. No.: </label>901