From Logic Design to Logic Programming : Theorem Proving Techniques and P-fun...

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Snyers - From Logic Design to Logic Programming Theorem Proving Tech - X555z

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

A Hierarchical Technique for Mechanical Theorem Proving and its Application to P

First-Order Logic and Automated Theorem Proving (Texts & Monographs in...