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

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

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, Second Ed,

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

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