First-order logic and automated theorem proving /
Fitting, Melvin, 1942-
First-order logic and automated theorem proving / Melvin Fitting. - New York : Springer-Verlag, c1990. - xiii, 242 p. : ill. ; 24 cm. - Texts and monographs in computer science .
First-order logic and automated theorem proving / Melvin Fitting. - New York : Springer-Verlag, c1990. - xiii, 242 p. : ill. ; 24 cm. - Texts and monographs in computer science .