TY - BOOK AU - Lakatos, Imre TI - Proofs and refutations : the logic of mathematical discovery SN - 052121078X AV - QA8.4.L34 PB - Cambridge University Press KW - Mathematics - Philosophy KW - Logic, Symbolic and mathematical KW - QA N1 - Bibliography: p. 155-165 ER -