Review of how to prove it: a structured approach by Daniel J. Velleman (Cambridge University Press, 2006)

Brent Smith. Review of how to prove it: a structured approach by Daniel J. Velleman (Cambridge University Press, 2006). SIGACT News, 40(1):18-20, 2009. [doi]