Cupillari, Antonella. , The nuts and bolts of proofs / Antonella Cupillari. - 3rd ed. - xii, 179 pages : illustrations ; 23 cm. ISBN: 0120885093 9780120885091 Subjects--Topical Terms: Proof theory. LC Class. No.: QA9.54 / .C86 2005