TY  - BOOK
AU  - Lakatos, Imre 
AU  - 伊姆雷. 拉卡托斯康宏达
TI  - 证明与反驳 : : 数学发现的逻辑 
AV  - QA8.4  .L3412 1987
PY  - 1987///
CY  - 上海 : 
PB  - 上海译文出版社, 
KW  - Mathematics Philosophy.Logic, Symbolic and mathematical
ER  -