Proofs and Refutations : The Logic of Mathematical Discovery - Lakatos, Imre (Cambridge University)