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

 - NEW YORK  Wiley  1987 
 - 23X16 
<br/><br/><label>ISBN: </label>0471615463 
<br/><br/><label>Dewey Class. No.: </label>621.38195 G168