机读格式显示(MARC)
			
			- 000 00679nam2 2200241   450 
			- 100 __ |a 20000811d1987  ekmy0a01011212eb
			- 200 __ |a 证明与反驳-数学发现的逻辑 |A Zheng Ming Yu Fan Bo - Shu Xue Fa Xian De Luo Ji |f (英)伊姆雷.拉卡托斯 著
			- 210 __ |d 1987.10 |c 上海译文出版社 |a 上海
			- 701 __ |a (英)伊姆雷.拉卡托斯 |A ( Ying ) Yi Mu Lei . La Ka Tuo Si |4 著
			- 801 __ |a CN |b ATTC |c 20000811
			- 905 __ |a LIB |d B812.4/1
			- 915 __ |d B812.4 |b 125909-11 |e 1