The book has lots of good practice proofs and there are solutions to most of the odd problems. If you want more practice, or just want to see some example solutions, here are some convenient links.
| Chapter | Topic | Problems | Solutions |
|---|---|---|---|
| 4 | Direct proof | link | link |
| 5 | Contrapositive proof | link | link |
| 6 | Proof by contradiction | link | link |
| 7 | Non-conditional statements | link | link |
| 8 | Proofs involving sets | link | link |
| 9 | Disproof | link | link |
| 10 | Mathematical induction | link | link |