TY  - GEN
AU  - Cupillari, Antonella.
CN  - QA9.54
CY  - Amsterdam ;
CY  - Boston :
DA  - c2005.
ET  - 3rd ed.
ID  - 448199
KW  - Proof theory.
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10190042
PB  - Elsevier Academic Press,
PP  - Amsterdam ;
PP  - Boston :
PY  - c2005.
T1  - The nuts and bolts of proofs
TI  - The nuts and bolts of proofs
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10190042
ER  -