How to Prove It - Daniel J. Velleman

Proofs play a central role in advanced mathematics and theoretical computer science, yet many…