TY  - BOOK
AU  - Cupillari Antonella
TI  - Nuts and bolts of proofs: an introduction to mathematical proofs
SN  - 978-0-12-382217-8
U1  - 511.36 
PY  - 2013///
CY  - Amsterdam
PB  - Academic Press
KW  - Proof theory
ER  -