Bayesian Data Analysis
Andrew Gelman
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Book of Proof
Richard H. Hammack