TY  - BOOK
AU  - Fitting,Melvin
TI  - First-order logic and automated theorem proving
SN  - 0387945938 
U1  - 511.3  
PY  - 1996///
CY  - New York
PB  - Springer
KW  - Automatic theorem proving
KW  - Logic, Symbolic and mathematical.
KW  - საინფორმაციო ტექნოლოგიები
KW  - კომპიუტერული ტექნოლოგიები
KW  - სიმბოლური ლოგიკა
KW  - მათემატიკური ლოგიკა
N1  - Includes bibliographical references (p. [315]-318) and index
ER  -