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: brastmck@mit.edu.