Proofs and refutations the logic of mathematical discovery - Lakatos, Imre 1922-1974 (Cambridge Univ. Press, 1984)