Courses 2007-2008

• Set Theory, Math 161 (Winter 2008)
• Philosophy of Mathematics, Phil 162/262 (Spring 2008)

Courses Winter 2006-2007

• Finite Model Theory, Math 290B/Phil 350B
• Theories of Truth, Phil 168/268

Courses Winter 2005-2006

• Topics in the Philosophy of Logic Phil 157/257
• Recursion Theory Math 291A/Phil 351A