Proofs: A Long-Form Mathematics Textbook
Jay Cummings
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
Beginning Mathematical Logic: A Study Guide
Peter Smith
算法设计
Jon Kleinberg