Proofs and Refutations The Logic of Mathematical Discovery by Imre Lakatos - WordSea