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