Topics in Mathematical Logic (Provability Logic) (Graduate)
Model Theory (Graduate)
Computability Theory (Graduate)
Intuitionistic Logic and Arithmetic (Graduate)
Algebra I (Undergraduate)
Linear Algebra (Undergraduate)
Calculus I (Undergraduate)
Foundations of mathematics (Undergraduate)
Set theory (Undergraduate)
Mathematical logic (Undergraduate)
Theory of Computing (Undergraduate)
Philosophy of Mathematics (Undergraduate)