TY - BOOK AU - Cupillari, Antonella. TI - The nuts and bolts of proofs: an introduction to mathematical proofs SN - 9780123822178 AV - QA9.54 .C86 2013 U1 - 511.3/6 23 PY - 2013/// CY - Amsterdam, Boston PB - Elsevier Academic Press KW - Proof theory N1 - Includes bibliographical references (p. 278-280) and index ER -