TY - BOOK AU - Velleman,Daniel J. TI - How to prove it: a structured approach SN - 0521861241 PY - 2006/// CY - Cambridge, New York PB - Cambridge University Pressc2006. KW - Lógica simbólica y matemática KW - Matemáticas KW - Funciones ER -