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

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

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

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

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

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

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

Logic for Computer Science: Foundations of Automatic Theorem Proving by Gallier