First-order logic and automated theorem proving /

Bibliographic Details

Main Author:	Fitting, Melvin, 1942-
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, [1990]
Series:	Texts and monographs in computer science.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical.