Teaching Courses I regularly teach include: Logic 2: Metatheory. Philosophy of Mathematics. Logic 3: Incompleteness and Undecidability.