Pattern Recognition and Machine Learning
Christopher M. Bishop
Why Greatness Cannot Be Planned: The Myth of the Objective
Kenneth O. Stanley & Joel Lehman
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
How to Prove It: A Structured Approach
Daniel J. Velleman
Calculus
Gilbert Strang