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