First-order logic and automated theorem proving /

Bibliographic Details
Main Author: Fitting, Melvin, 1942-
Format: Book
Language:English
Published: New York : Springer, 1996.
Edition:2a. ed.
Series:Graduate texts in computer science
Subjects: