Logic For Applications - Texts and Monographs in Computer Science - 1st edition

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

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

The Logic of Partial Information - Monographs in Theoretical Computer Science

Logic in Computer Science (Second Edition) Michael Huth

The Origins of Digital Computers (Texts & Monographs in Computer Science)

Nondeductive Inference R. Ackermann 1966 Monographs Of Modern Logic Routledge

Logics of Specification Languages (Monographs in Theoretical Computer Science.