TY  - BOOK
AU  - Velleman, Daniel J.
TI  - How to prove it: structured approach
SN  - 0521675995
CY  - Cambridge
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
ER  -