Logic for Computer Science : Foundations of Automatic Theorem-Pro

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

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

Logic For Computer Science Foundations of Automatic Theorem Proving Vtg 1986

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

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

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

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