Effective C++：改善程序与设计的55个具体做法
Scott Meyers
Linear Algebra Done Right, 4th edition
Sheldon Axler, 吴俊达, 何阳
Beginning Mathematical Logic: A Study Guide
Peter Smith
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson