The nuts and bolts of proofs / - Cupillari, Antonella. (Wadsworth Pub. Co.,, 1989)