The nuts and bolts of proofs : an introduction to mathematical proofs / - Cupillari, Antonella. (Academic Press,, 2012)