TY  - BOOK
AU  - Velleman, Daniel J.
TI  - How to prove it: a structured approach
SN  - 9780521675994
PY  - 2016///
CY  - UK
PB  - Cambridge
ER  -