This straightforward guide describes the main methods used to prove mathematical theorems. Shows how and when to use each technique such as the contrapositive, induction and proof by contradiction. Each method is illustrated by step-by-step examples. The Second Edition features new chapters on nested quantifiers and proof by cases, and the number of exercises has been doubled with answers to odd-numbered exercises provided. This text will be useful...