TY  - BOOK
AU  - Velleman, Daniel J.
TI  - How to prove it : a structured approach
SN  - 0-521-44116-1
AV  - C QA 9 V38 1994 
CY  - New York
KW  - Logic, Symbolic and mathematical
ER  -