TY  - BOOK
AU  - Velleman,Daniel J.
AU  - Velleman, Daniel J.
TI  - How to prove it: a structured approach 
PY  - 2006///
CY  - Cambridge ; New York
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
ER  -