Imre Lakatos Proofs and refutations: The logic of mathematical discovery bookProofs and refutations: The logic of mathematical discoveryImre LakatosCambridge, 1976