Mathematical Logic: For Computer Science with Corrected Exercises

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

Calculated Bets: Computers, Gambling, and Mathematical Modeling to Win (Outlooks)

Combinatorial, Computational, and Applied Algebraic Geometry: A Tribute to Bernd Sturmfels (Proceedings of Symposia in Pure Mathematics)

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