First-order logic and automated theorem proving

RecordNumber :

32254

LC Class :

LC Number :

76.9

LC CutterNumber :

.A96,F68

LC Date :

1996

Dewey Class :

511

Dewey Date :

Author :

Title :

Author Statement :

Melvin Fitting

Edition :

2nd ed

Publication :

Springer

Publication Year :

c1996

Collation :

xvi, 326 p.: ill.; 25 cm

Series :

Graduate texts in computer science

Subject :

Holding Info. :

0387945938

Original By :

77/05

DocumentNumber :

44265

Biblography :

Includes bibliographical references (p. [315]-318) and index

BL :

Link To Document :