First-Order logic and automated theorem proving /
Fitting, Melvin
First-Order logic and automated theorem proving / Melvin Fitting. - 2nd ed. - New York, NY : Springer New York ; 1996. - xvi, 326 p. ; 25 cm. - Graduate texts in computer science. .
Includes index.
Includes references bibliographic.
9781461223603 9781461275152
10.1007/978-1-4612-2360-3 doi
Automatic theorem proving
Propositional logic
005.131
First-Order logic and automated theorem proving / Melvin Fitting. - 2nd ed. - New York, NY : Springer New York ; 1996. - xvi, 326 p. ; 25 cm. - Graduate texts in computer science. .
Includes index.
Includes references bibliographic.
9781461223603 9781461275152
10.1007/978-1-4612-2360-3 doi
Automatic theorem proving
Propositional logic
005.131