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

Logic for Computer Science : Foundations of Automatic Theorem-Pro

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

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

Logic For Computer Science Foundations of Automatic Theorem Proving Vtg 1986

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

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

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