TY  - BOOK
AU  - Velleman,Daniel J.
TI  - HOW TO PROVE IT
SN  - 0521446635
U1  - 511.3 
PY  - 1994///
CY  - 
PB  - Cambridge Univ. Press, Cambridge
KW  - Logic,Symbolic And Mathematical
KW  - Mathematics
N1  - Includes Bibliographical References
ER  -