H.P. Barendregt
计算机科学数理逻辑数学函数式编程
David Foster Wallace, Neal Stephenson
数学
Gilbert Strang
数学线性代数
Benoit B Mandelbrot
数学分形
