Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Beginning Mathematical Logic: A Study Guide
Peter Smith
Pattern Recognition and Machine Learning
Christopher M. Bishop