Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Linear Algebra Done Right, 4th edition
Sheldon Axler, 吴俊达, 何阳
算法导论
Thomas H. Cormen
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Information Theory, Inference and Learning Algorithms
David J. C. MacKay