The book starts with the basics of set theory, logic and truth tables, and counting. Then, the book moves on to standard proof techniques: direct proof, proof by contrapositive and contradiction, proving existence and uniqueness, constructive proof, proof by induction, and others. More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.