Imre Lakatos, John Worrall, Elie Zahar Proofs And Refutations The Logic Of Mathematical Discovery Imre Lakatos, John Worrall, Elie Zahar