First-Order Logic and Automated Theorem Proving (Texts & Monographs in...

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

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) by

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

Automated Deduction in Equational Logic and Cubic Curves by William McCune (Engl

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

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

The Logic of Partial Information - Monographs in Theoretical Computer Science