Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys