TY - BOOK AU - Lakatos, Imre AU - Worrall, John AU - Zahar, Elie TI - Proofs and refutations: the Logic of mathematics discovery U1 - 511.3 LAK PY - 1976///, repr. 1981 CY - Cambridge PB - Cambridge University Press KW - Logic, Symbolic and mathematical KW - Mathematics KW - Philosophy N1 - Bibliography (p.155-165) ER -