Attribution

Original content in this work is licensed CC-BY unless otherwise noted; links and non-original content maintain their original licensing. Footnotes are included throughout which point to the original works as they were available at the time this work was written.

Portions of this book, Chapters 4 and 5 in particular, have been incorporated from forallx: An Introduction to Formal Logic by P. D. Magnus, licensed CC-BY.  Dr. Magnus’ work was originally released in 2005, and he has shared the project github repository at this link.