综述 理查德·柯朗-赫伯特·罗宾斯-伊恩·斯图尔特：什么是数学——对思想和方法的基本研究@2012-第3版-扫描版 基础理论 道格拉斯·霍夫施塔特：哥德尔、艾舍尔、巴赫——集异璧之大成@1996-扫描版 欧内斯特·内格尔-詹姆斯·纽曼：哥德尔证明@1991-扫描版 数学史 莫里斯·克莱因：数学——确定性的丧失@1997 莫里斯·克莱因：西方文化中的数学@2004-扫描版 其它 乔治·波利亚：怎样解题——数学思维的新方法@1982-第2版