GALLIER,JEAN H <br/><br/>
LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING 

 - NEW YORK  JW  1987 
 -  511 
<br/><br/> PCV-2161 
<br/><br/><label>ISBN: </label>KBCS  120 
<br/><br/><label>Dewey Class. No.: </label>903