Proofs and Refutations: The Logic of Mathematical Discovery

Lakatos, Imre