Colophon Patch notes
2.01 (2024): Unit I revisions begun. Chapter 1 gently rewritten. Chapter 2 split into propositional and predicate logic sections, with rewrites to come. Front and back matter introduced. Some material ancillary to the CCU course moved to appendices.
2.0 (2022): ebook substantially rewritten and moved to PreTexT.
1.0 (2020): ebook hastily composed using Markdown over summer 2020 for COVID-related online instruction.