Material to Go With Logic Textbook
The exercises, material, tools here are for use in conjunction with my introductory formal logic textbook.
Teaching and Learning tools
Source Files
If you are interested in editing/compiling the text, the LaTeX source files with instruction on how to compile and what other tools you need are available on GitHub:
https://github.com/adamay909/logicbook