The Logic of Partial Information - Monographs in Theoretical Computer Science

Logic for Applications (Texts in Computer Science) by Nerode, Anil, Shore, Rich

Logic in Computer Science (Second Edition) Michael Huth

Computer Vision: Algorithms and Applications (Texts in Computer Science), Szelis

1st Printing - Monographs in Computer Science Ser.: Compiler Construction, Waite

Computational Geometry: An Introduction (Texts and Monographs in Computer Scien

Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

From Logic to Computers (Computer Science Texts) - Thewlis, P.J.