TY  - BOOK
AU  - Velleman,D.J
TI  - How to prove it: structured approach
SN  - 9780521446631
U1  - 1.01+18+19 
PY  - 1994///
CY  - Cambridge
PB  - Cambridge University Press
ER  -