Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
The Landscapes of Science and Religion: What Are We Disagreeing ...
Nick Spencer & Hannah Waite
计算理论导引
Michael Sipser
编译原理
Alfred V. Aho
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)