TY - BOOK AU - Velleman,Daniel J. TI - How to prove it: a structured approach SN - 9780521675994 U1 - 511.3 PY - 2006/// CY - New York: PB - Cambridge University Press, KW - LOGICA SIMBOLICA Y MATEMATICA KW - MATEMATICAS N1 - Incluye apendices ER -