题名	责任者	出版社	索书号
数学：它的内容，方法和意义 第二卷	（俄）亚历山大洛夫等著	科学出版社	O1-0/172/4*1
证明与反驳:数学发现的逻辑	(英)伊姆雷·拉卡托斯著	复旦大学出版社	O1-0/525