TY  - BOOK
AU  - Lakatos Imre
TI  - Proofs and refutations
SN  - 978-1-107-53405-6
PY  - 2015///
CY  - N York
PB  - Cambridge University Press
KW  - Mathematics philosophy
KW  - Logic symbolic and mathematical
ER  -