TY  - GEN
AU  - Cupillari,Antonella
TI  - The nuts and bolts of proofs
U1  - 511.3 
PY  - 2005///
CY  - London
PB  - Elsevier
ER  -