TY  - BOOK
AU  - Cupillari,Antonella
TI  - The nuts and bolts of proofs
SN  - 0120885093
AV  - QA9.54  .C86 2005
PY  - 2005///
CY  - Amsterdam
PB  - Elsevier
KW  - Proof theory
ER  -