题名	责任者	出版社	索书号
突破维数障碍:斯梅尔传	史蒂夫·巴特森著	上海科技教育出版社	K837.126.11/9893
逻辑人生:哥德尔传	约翰·卡斯蒂, 维尔纳·德波利著	上海科技教育出版社	K837.126.11/3450