Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Book of Proof
Richard Hammack
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson
Information Geometry and Its Applications
Shun-Ichi Amari
How to Prove It: A Structured Approach
Daniel J. Velleman