Beginning Mathematical Logic: A Study Guide
Peter Smith
More Effective C++：35个改善编程与设计的有效方法
Scott Meyers
Pattern Recognition and Machine Learning
Christopher M. Bishop
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Entropy and Diversity: The Axiomatic Approach
Tom Leinster