The nuts and bolts of proofs an introduction to mathematical proofs - Cupillari, Antonella (Amsterdam Boston Elsevier Academic Press, 2013)
Includes bibliographical references (p. 278-280) and index.
Keywords: Proof theory