This version (1.2) is now out of date. You may prefer to consult the latest version. You can download the whole book as a single pdf file, or select from the individual files below. Please send reports of bugs to Margaret Fleck to add to the errata file.

- Table of Contents
- Preface
- Chapter 1: Math Review
- Chapter 2: Logic
- Chapter 3: Proofs
- Chapter 4: Number Theory
- Chapter 5: Sets
- Chapter 6: Relations
- Chapter 7: Functions and onto
- Chapter 8: Functions and one-to-one
- Chapter 9: Graphs
- Chapter 10: 2-way Bounding
- Chapter 11: Induction
- Chapter 12: Recursive Definition
- Chapter 13: Trees
- Chapter 14: Big-O
- Chapter 15: Algorithms
- Chapter 16: NP
- Chapter 17: Proof by Contradiction
- Chapter 18: Sets of Sets
- Chapter 19: State Diagrams
- Chapter 20: Countability
- Chapter 21: Planar Graphs
- Appendix A: Jargon
- Appendix B: Acknowledgements and Supplementary Readings
- Appendix C: Where Did It Go?