TY  - BOOK
AU  - Velleman,Daniel J.
TI  - How to prove it: a structured approach 
SN  - 0521861241 : HRD
AV  - QA9 .V38 2006
U1  - 511.3 22
PY  - 2006///
CY  - Cambridge ; New York
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
N1  - Includes bibliographical references (p. 375) and index
ER  -