题名	责任者	出版社	索书号
数学证明.第2版	萧文强著	大连理工大学出版社	O141.2/3
证明达尔文:进化和生物创造性的一个数学理论:making biology mathematical	(美) 格雷戈里·蔡汀(Gregory Chaitin)著	人民邮电出版社	O141.2/2