斯坦福算法博弈论二十讲
Tim Roughgarden
Why Greatness Cannot Be Planned: The Myth of the Objective
Kenneth O. Stanley & Joel Lehman
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Calculus
Gilbert Strang