Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Measurement
Paul Lockhart
矩阵计算
Charles F. van Loan & Gene H. Golub
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
Algorithms and Combinatorics (2)