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