Book of Proof
Richard H. Hammack
Calculus
Gilbert Strang
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Measurement
Paul Lockhart
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson