In running the following logic classes, I used the syllabi provided by Volker Halbach and James Studd respectively (links below).



Logic Notes

Here are some highly compressed Logic Notes (Nov 2017) for teaching propositional logic, first-order logic, and propositional modal logic. I hope to expand the notes to include further systems.