TY  - BOOK
AU  - Cupillari Antonella
TI  - Nuts and bolts of proofs
SN  - 0121994511 (pbk)
U1  - B:(R1), P1 
PY  - 2001///
CY  - San Diego
PB  - Academic Press       
KW  -  Logic
KW  -  Mathematical logic
KW  -  Proof theory
KW  - Nuts and bolts
N1  - Index p149
ER  -