TY - BOOK AU - Lakatos, Imre TI - Proofs and refutations: the logic of mathematical discovery SN - 9781107534056 U1 - 511.3 PY - 1976/// CY - Cambridge PB - Cambridge University Press KW - Logic, Symbolic and mathematical KW - Mathematics--Philosophy N1 - Includes bibliographical references and index ER -