First-order logic and automated theorem proving
Fitting, Melvin
First-order logic and automated theorem proving - 2nd ed. - New York : Springer Science+Business Media, ©1996. - xvii, 326 p. : ill. ; 24.5 cm (Paperback) - Graduate texts in computer science .
Includes bibliographical references and index.
9781461275152
Logic, Symbolic and mathematical Automatic theorem proving Logic design
005.131 / FIT / B
First-order logic and automated theorem proving - 2nd ed. - New York : Springer Science+Business Media, ©1996. - xvii, 326 p. : ill. ; 24.5 cm (Paperback) - Graduate texts in computer science .
Includes bibliographical references and index.
9781461275152
Logic, Symbolic and mathematical Automatic theorem proving Logic design
005.131 / FIT / B