Lakatos, Imre 证明与反驳 : 数学发现的逻辑 / 證明與反駁 : 數學發現的邏輯 / 伊姆雷. 拉卡托斯 (Imre Lakatos) 著; 康宏达译 - 上海 : 上海译文出版社, 1987 - 209 p. ; 21 cm. Subjects--Topical Terms: Mathematics Philosophy.Logic, Symbolic and mathematical. LC Class. No.: QA8.4 / .L3412 1987