TY  - BOOK
AU  - Velleman, Daniel J.
TI  - How to prove it : a structured approach
SN  - 0-521-44663-5
AV  - QA 9 .V38/ 
PB  - Cambridge University Press
ER  -