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

Proofs and Models in Philosophical Logic (Cambridge Elements: Elements Philosophy Logic)

Logic of Statistical Inference (Cambridge Philosophy Classics)

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs