First-order logic and automated theorem proving
By: Melvin Fitting.
Edition: 1
Series: Texts and monographs in computer science
Publisher: Springer-Verlag
Published: 1990
Place of publication: New York
Language: eng
Number of pages: 242
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. [233]-236) and index.
Table of contents: class: section