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

Symbolic Logic and Mechanical Theorem Proving

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

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

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

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second...

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