00613nam a2200169Ia 4500 230916s9999 xx 000 0 und d chi eng QA8.4 .L3412 1987 Lakatos, Imre 证明与反驳 : 数学发现的逻辑 / 伊姆雷. 拉卡托斯 (Imre Lakatos) 著; 康宏达译 證明與反駁 : 數學發現的邏輯 / 上海 : 上海译文出版社, 1987 209 p. ; 21 cm. Mathematics Philosophy.Logic, Symbolic and mathematical. 伊姆雷. 拉卡托斯康宏达 0 0 0 0 GETS GETS GEN 2023-09-20 0 QA8.4 .L3412 1987 00031189 2023-09-20 00:00:00 2023-09-20 CB 47570 47570