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

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

Logic for Computer Science : Foundations of Automatic Theorem-Pro

Logic For Computer Science Foundations of Automatic Theorem Proving Vtg 1986

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

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

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

Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :