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

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

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

Mathematical Logic for Computer Science 3rd Ed. (Ben-Ari)

Logic For Computer Science Foundations of Automatic Theorem Proving Vtg 1986

Mathematical Foundations of Computer Science : For B. sc (computer Science), ...

Logic in Computer Science (Second Edition) Michael Huth

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE: FOR B.SC... - Ramesh, Pushpalatha