Mathematical Logic: For Computer Science with Corrected Exercises

Quantum Computation and Quantum Information: A Mathematical Perspective: 243 (Graduate Studies in Mathematics)

LuCaNT: Databases, Algorithms, and Computational Number Theory (Contemporary Mathematics)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications