Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling texts third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and over 150 new exercises.