TY - BOOK AU - Cupillari, Antonella TI - The nuts and bolts of proofs SN - 0-12-088509-3 U1 - 621.882 CUP PY - 2005/// CY - NEW YORK PB - ELSEVIER KW - NUTS AND BOLTS OF PROOFS ER -