Acknowledgement
The content for this course text is based gratefully(!) on Fundamental Methods of Logic, CC-BY 4.0, by Matthew Knachel, University of Wisconsin – Milwaukee, 2017. The original structure of the OER textbook is largely maintained, with some additions, deletions, and editorial changes. A detailed account of the changes is available in the Back Matter — Appendix 1: Content Acknowledgement Details.