The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs - Cupillari, Antonella (Elsevier Science & Technology, 2005)
Keywords: Proof theory