Proofs and Refutations: The Logic of Mathematical Discovery

For and Against Method: Including Lakatos's Lectures on Scientific Method and the Lakatos-Feyerabend Correspondence