TY  - BOOK
AU  - Vellem, Daniel J.
TI  - How To Prove It A Structured Approach
SN  - 9780521675994
AV  - QA 9 .V38 2006  
PY  - 2006///
CY  - New York : 
PB  - Cambridge University , 
KW  - Logic Symbolic and mathematical
N1  - Includes index
ER  -