01388nam a22003377a 4500 Ge_NSL 20220301092918.0 951023s1996 us a b 001 0 eng 0387945938 DLC DLC DLC eng 004 511.3 Fitting, Melvin, 1942- 5394 First-order logic and automated theorem proving / Melvin Fitting. 2nd ed. New York : Springer, c1996. xvi, 326 p. : ill. ; 25 cm. Graduate texts in computer science 5395 Includes bibliographical references (p. [315]-318) and index. Automatic theorem proving. 5396 Logic, Symbolic and mathematical. 5397 საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები სიმბოლური ლოგიკა მათემატიკური ლოგიკა Graduate texts in computer science (Springer-Verlag New York Inc.) 5398 7 cbc orignew 1 ocip 19 y-gencatlg udc BK 0 0 udc 0 0 CPL CPL GEN 2010-10-18 0 004 F-48 2010-60974 2011-08-31 00:00:00 3E21509 2011-08-31 BK 2082 2082