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

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 20

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

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

Symbolic Logic and Mechanical Theorem Proving, Lee and Chang (Hardcover, 1973)

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

Symbolic Logic and Mechanical Theorem Proving, Hardcover by Chang, Chin-Liang...

Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang: Used