Fitting, Melvin,  1942- <br/><br/>
First-order logic and automated theorem proving / 
Melvin Fitting. 
 - 2nd ed. 
 -  Springer,  c1996. 
 - xvi, 326 p. :  ill. ;  25 cm. 
 - Graduate texts in computer science .
 - Graduate texts in computer science (Springer-Verlag New York Inc.) .
<br/><br/>Includes bibliographical references (p. [315]-318) and index. 
<br/><br/><label>ISBN: </label>0387945938  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.<br/>Logic, Symbolic and mathematical. 
<br/><br/><label>Subjects--Index Terms: </label>საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები სიმბოლური ლოგიკა  მათემატიკური ლოგიკა   
<br/><br/><label>Dewey Class. No.: </label>511.3  
<br/><br/><label>Universal Decimal Class. No.: </label>004