Proofs and Refutations: The Logic of Mathematical Discovery (1976)

by Imre Lakatos