@book{47570,
	author = {Lakatos, Imre  and 伊姆雷. 拉卡托斯康宏达},
	title = {证明与反驳 : },
	publisher = {上海译文出版社, },
	year = {1987},
	address = {上海 : }
}