Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Algorithm Design
Jon Kleinberg & Éva Tardos
How to Prove It: A Structured Approach
Daniel J. Velleman
C++ Primer Plus
Stephen Prata