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