Proofs and Refutations by Imre Lakatos & E. Lakatos