题名	责任者	出版社	索书号
数学与猜想 第二卷：合情推理模式	（美）波利亚（Polya，G.）著	科学出版社	O1-0/321.3/2
证明与反驳:数学发现的逻辑	(英)伊姆雷·拉卡托斯著	复旦大学出版社	O1-0/525