Beginning Mathematical Logic: A Study Guide
Peter Smith
算法设计
Jon Kleinberg
Forecasting Economic Time Series
C. W. J. Granger & Paul Newbold & Karl Shell
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox