FITTING,MELVIN <br/><br/>
FIRST ORDER LOGIC AND AUTOMATED THEOREM PROVING (TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE) 

 - NEW YORK  SV  1990 
 -  242 
<br/><br/> BR-737 
<br/><br/><label>ISBN: </label>KBCS  68 
<br/><br/><label>Dewey Class. No.: </label>904