Daniel J. Velleman's lively text prepares students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. This new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software.