From Logic Design to Logic Programming Theorem Proving Techniques

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

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

Chang - Symbolic Logic and Mechanical Theorem Proving - New hardback o - X555z

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

Schubert - Higher Order Logic Theorem Proving and Its Applications 8 - X555z

Sandford - Using Sophisticated Models in Resolution Theorem Proving - - X555z