TY - BOOK AU - Velleman, Daniel J. TI - How to prove it: a structured approach SN - 0521675995 PY - 2006/// CY - Cambridge PB - Cambridge University Press KW - Mathematics ER -