Cupillari, Antonella. The nuts and bolts of proofs : an introduction to mathematical proofs / Antonella Cupillari. - 4th ed. - Amsterdam : Elsevier Academic Press, c2013. - ix, 283 p. : ill. ; 23 cm. Includes bibliographical references (p. 278-280) and index. ISBN: 9780123822178 (pbk.) Subjects--Topical Terms: Proof theory. Dewey Class. No.: 511.36 / CUP 2013