TY  - BOOK
AU  - Cupillari,Antonella
TI  - The nuts and bolts of proofs
SN  - 9780120885091 
AV  - QA9.54 .C92 2005
U1  - 511.3/6 22
PY  - 2005///
CY  - Amsterdam, Boston
PB  - Elsevier Academic Press
KW  - Proof theory
N1  - Includes bibliographical references (p. 173-176) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0627/2005296426-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0627/2005296426-t.html
ER  -