TY - BOOK AU - Velleman, Daniel J., TI - How to prove it: a structured approach SN - 9780521861243 U1 - 511.3 VEL PY - 2006/// CY - Cambridge PB - Cambridge University Press KW - General principles of mathematics KW - Mathematics KW - Logic, symbolic and mathematical ER -