First-order logic and automated theorem proving
Fitting, Melvin
First-order logic and automated theorem proving - - New York, Springer-Verlag, 1990 - xiii,242 p. 23 cm - .
0-387-97233-124
Automatic theorem proving , Logic, Symbolic and mathematical
681.3:517.1 Fit
First-order logic and automated theorem proving - - New York, Springer-Verlag, 1990 - xiii,242 p. 23 cm - .
0-387-97233-124
Automatic theorem proving , Logic, Symbolic and mathematical
681.3:517.1 Fit