000 00613nam a2200169Ia 4500
008 230920s9999 xx 000 0 und d
041 _achi
_heng
050 _aQA8.4
_b.L3412 1987
100 _aLakatos, Imre
245 0 _a证明与反驳 :
_b数学发现的逻辑 /
_c伊姆雷. 拉卡托斯 (Imre Lakatos) 著; 康宏达译
246 _a證明與反駁 :
_b數學發現的邏輯 /
260 _a上海 :
_b上海译文出版社,
_c1987
300 _a209 p.
_b;
_c21 cm.
650 _aMathematics Philosophy.Logic, Symbolic and mathematical.
700 _a伊姆雷. 拉卡托斯康宏达
999 _c47994
_d47994