Mathematical Logic for Computer Science

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)