First-order logic and automated theorem proving
Fitting, Melvin
First-order logic and automated theorem proving - 2nd ed - New York : Springer-Verlag, 1996 1996 - xvi,326 p. 24 cm - .
0-387-94593-86
Automatic theorem proving
Logic, Symbolic and mathematical
681.3:517.1 Fit(2)
First-order logic and automated theorem proving - 2nd ed - New York : Springer-Verlag, 1996 1996 - xvi,326 p. 24 cm - .
0-387-94593-86
Automatic theorem proving
Logic, Symbolic and mathematical
681.3:517.1 Fit(2)