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 Proving Vtg 1986

Logic and Discrete Mathematics A Computer Science Perspective

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

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

Logic and Discrete Mathematics: A Computer Science Perspective - Grassmann, ...

Logic in Computer Science: Modelling and Reasoning about Systems by M. Huth