Math 180, Calculus I
(Fall 2006) Math 435, Foundations
of Number Theory (Fall 2006) Math 503,
Metamathematics II (Spring 2006) Math 181, Calculus II
(Fall 2005) Math 512, Advanced
Topics in Logic:
Model Theory of Valued Fields (Fall 2005) Math
430, Formal Logic (Fall 2004) Math
512, Advanced Topics in Logic: Model Theory of Real Exponentiation
(Fall 2004) Math
506, Model Theory (Spring 2004) Math
180, Calculus I (Fall 2003)