Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson
Pattern Recognition and Machine Learning
Christopher M. Bishop
Beginning Mathematical Logic: A Study Guide
Peter Smith
Learning Theory From First Principles
Francis Bach
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash