Pattern Recognition and Machine Learning
Christopher M. Bishop
Learning Theory From First Principles
Francis Bach
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
How to Prove It: A Structured Approach
Daniel J. Velleman
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West