First-order logic and automated theorem proving
By: Melvin Fitting.
Edition: 2nd ed.
Series: Graduate texts in computer science; Graduate texts in computer science (Springer-Verlag New York Inc.)
Publisher: Springer
Published: 1996
Place of publication: New York
Language: eng
Number of pages: 326
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. [315]-318) and index.