The nuts and bolts of proofs - Cupillari, Antonella (Elsevier Academic Press, 2005)
Print version record