Cambridge University Press Proofs and Refutations: The Logic of Mathematical Discovery

Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics)

How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library)

Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series)