TY  - BOOK
AU  -  Cupillari, Antonella.
TI  -  The nuts and bolts of proofs
SN  -  9780120885091 (acidfree paper)
U1  -  511.36  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/fy06 27/2005296426-d.html
UR  -  http://www.loc.gov/catdir/enhancements/fy0 627/2005296426-t.html
ER  -