The nuts and bolts of proofs - Cupillari, Antonella. (Elsevier Academic Press,)