Bayesian Data Analysis
Andrew Gelman
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
算法
Robert Sedgewick & Kevin Wayne
Beginning Mathematical Logic: A Study Guide
Peter Smith
编译原理
Alfred V. Aho