Fitting, Melvin,  1942- <br/><br/>
First-order logic and automated theorem proving / 
Melvin Fitting. 
 - New York :  Springer-Verlag,  c1990. 
 - xiii, 242 p. :  ill. ;  24 cm. 
 - Texts and monographs in computer science .