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