Courses I regularly teach include:

• Logic 2: Metatheory.
• Philosophy of Mathematics.
• Logic 3: Incompleteness and Undecidability.

The course notes for Logic 2 and Logic 3 are based on the Open Logic Project.