Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
How to Prove It: A Structured Approach
Daniel J. Velleman
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Pattern Recognition and Machine Learning
Christopher M. Bishop