TY  - BOOK
AU  - Velleman,Daniel J.
ED  - Safari eBooks.
TI  - How to prove it: a structured approach 
PY  - 2006///
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references and index
UR  - http://ezproxy.alfaisal.edu/login?url=http://academic.safaribooksonline.com/?uiCode=sdl&xmlId=9780511159435
ER  -