矩阵计算
Charles F. van Loan & Gene H. Golub
Everything You Always Wanted To Know About Mathematics
Brendan W. Sullivan
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
How to Prove It: A Structured Approach
Daniel J. Velleman