The nuts and bolts of proofs an introduction to mathematical proofs - Cupillari, Antonella (Elsevier Academic Press, 2013)