Book of Proof
Richard H. Hammack
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
Everything You Always Wanted To Know About Mathematics
Brendan W. Sullivan
How to Prove It: A Structured Approach
Daniel J. Velleman
Information Theory, Inference and Learning Algorithms
David J. C. MacKay