TY - BOOK AU - LAKATOS, Imre TI - Proofs and Refutations : The Logic of Mathematical Discovery U1 - 515/LAK PY - 1999/// CY - U.K PB - Cambridge Univ. Press ER -