Proofs and refutations: the logic of mathematical discovery - Lakatos, Imre (Cambridge University, 1976)