Proofs and refutations : the logic of mathematical discovery - Lakatos, Imre (Verfasser); Worrall, John (Herausgeber); Zahar, Elie (Herausgeber) (Cambridge philosophy classics, 2015)