1. Formal Logic2. Proofs, Recursion, and Analysis of Algorithms3. Sets, Combinatorics, Probability, and Number Theory4. Relations, Functions, and Matrices5. Graphs and Trees6. Graph Algorithms7. Boolean Algebra and Computer Logic8. Modeling Arithmetic, Computation, and LanguagesAppendixes