TY  - BOOK
AU  - Lakatos,Imre
TI  - Proofs & refutations : the logic of mathematical discovery / 
SN  - 052121078X
U1  - 511.3 
PY  - 1976///
CY  - London
PB  - Cambridge university press, 
KW  - Mathematics
KW  - Algebra
KW  - Symbolic and mathematical logic
ER  -