TY  - BOOK
AU  - Cupillari, Antonella.
TI  - Nuts and bolts of proofs
SN  - 0120885093
CY  - Amsterdam, Boston
KW  - Proof theory
ER  -