Teaching

Here are someĀ notesĀ for teaching propositional logic, first-order logic, and propositional modal logic. I hope to expand the notes to include further systems.

Please feel free to contact me by email (bottom).