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

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

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

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...

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

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch