Proofs and refutations: The logic of mathematical discovery (1976)

by I Lakatos