TY  - BOOK
AU  - Cupillari,Antonella
TI  - The Nuts and bolts of proofs : an introduction to mathematics proofs 
SN  - 978-0-12-382217-8
U1  - 511.36 CUP 
PY  - 2013///
CY  - St.Louis,Missouri 
PB  -  Elsevier
KW  - Proof theory
ER  -