Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Linear Algebra Done Right, 4th edition
Sheldon Axler, 吴俊达, 何阳
Beginning Mathematical Logic: A Study Guide
Peter Smith
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson