TY  - BOOK
T1  - The nuts and bolts of proofs an introduction to mathematical proofs
A1  - Cupillari, Antonella
LA  - English
PP  - Amsterdam, Boston
PB  - Elsevier Academic Press
YR  - 2013
ED  - 4th ed.
UL  - https://tuklas.up.edu.ph/Record/UP-8027390931312409541
OP  - 283
CN  - QA 9.54 C86 2013
SN  - 9780123822178
KW  - Proof theory.
ER  -