This is a variant of Version 1.3 with some modest updates for Spring term 2018, visible only inside U. Illinois. It will eventually turn into a real version 1.4. Be aware that additional updates may be added as the term progresses. For some of the supplementary materials, please see the main version 1.3 page.

- Table of Contents
- Preface
- Chapter 1: Math Review (revised)
- 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 (revised)
- Chapter 15: Algorithms (revised)
- Chapter 16: NP
- Chapter 17: Proof by Contradiction
- Chapter 18: Collections 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?