Proofs and refutations : the logic of mathematical discovery - Lakatos, Imre, 1922-1974 (Cambridge philosophy classics, 2015)