Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
How to Prove It: A Structured Approach
Daniel J. Velleman
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West