TY  - BOOK
AU  - Cupillari,Antonella
TI  - The nuts and bolts of proofs
SN  - 0121994511 
AV  - QA9.54 .C92 2001
U1  - 511.3 21
PY  - 2001///
CY  - San Diego
PB  - Academic Press
KW  - Proof theory
N1  - Includes bibliographical references (p. 147-148) and index
UR  - http://www.loc.gov/catdir/description/els031/00111079.html
UR  - http://www.loc.gov/catdir/toc/els031/00111079.html
ER  -