Why Greatness Cannot Be Planned: The Myth of the Objective
Kenneth O. Stanley & Joel Lehman
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
编译原理
Alfred V. Aho