| Book Exercise Lanes | exercise | 6 | Open |
| Contradiction, Cases, and Iff Proofs | concept | 4 | Open |
| Counterexamples and Proof-Writing Discipline | concept | 4 | Open |
| Direct Proof and Contrapositive | concept | 4 | Open |
| Equivalence Relations and Partitions | concept | 4 | Open |
| Functions Are Behavior on a Domain | concept | 2 | Open |
| Images, Preimages, Composition, and Classification | concept | 2 | Open |
| Learning Resources | resource | 8 | Open |
| Negation and Quantifier Order | concept | 2 | Open |
| Ordinary Induction Is Sequential Closure | concept | 3 | Open |
| Partial Orders and Hasse Thinking | concept | 3 | Open |
| Predicates, Domains, and Quantified Statements | concept | 2 | Open |
| Proof Strategy Starts from Theorem Shape | concept | 3 | Open |
| Propositions, Implication, and Equivalence | concept | 3 | Open |
| Recursive Definitions and Structural Induction | concept | 2 | Open |
| Reference and Selective Reading | reference | 9 | Open |
| Relation Properties and Composition | concept | 2 | Open |
| Set Operations, Cartesian Products, and Double Inclusion | concept | 4 | Open |
| Sets Are Models, Not Just Containers | concept | 3 | Open |
| Strong Induction and Well-Ordering | concept | 3 | Open |
| Truth Tables, Validity, and Equivalence | concept | 3 | Open |