Prof. Russell Miller

C.U.N.Y. Graduate Center Courses

Spring 2009:	Math 712: Logic
Autumn 2008:	Computer Science 85020: Topics in Computability Theory
Spring 2007:	Math 712: Logic
Autumn 2006:	Computer Science 85020: Introduction to Computability Theory
Spring 2005:	Math 712: Logic

Queens College Courses

Autumn 2009:	Math 509: Set Theory and Logic
Spring 2009:	Math 609: Introduction to Set Theory
	Math 503: Mathematics from an Algorithmic Standpoint
Autumn 2008:	Math 626: Mathematics and Logic
Spring 2008:	Math 609: Introduction to Set Theory
	Math 223: Differential Equations with Numerical Methods I
	Math 131: Calculus for the Social and Life Sciences
Autumn 2007:	Math 626: Mathematics and Logic
	Math 131: Calculus for the Social and Life Sciences
Spring 2007:	Math 609: Introduction to Set Theory
Autumn 2006:	Math 626: Mathematics and Logic
	Math 141: Calculus/Differentiation
Spring 2006:	Math 609: Introduction to Set Theory
	Math 141: Calculus/Differentiation
Autumn 2005:	Math 626: Mathematics and Logic
	Math 151: Calculus/Differentiation & Integration
Spring 2005:	Math 208: Honors Calculus IV
Autumn 2004:	Math 241: Introduction to Probability and Mathematical Statistics
	Math 207: Honors Calculus III
Spring 2004:	Math 626: Mathematics and Logic
	Math 158: Honors Calculus II
Autumn 2003:	Math 241: Introduction to Probability and Mathematical Statistics
	Math 157: Honors Calculus

Cornell University Courses

Spring 2003: Math 787: Set Theory

Math 481/Phil. 431: Mathematical Logic

Spring 2002: Math 783: Model Theory

Math 486/CS 486: Applied Logic

Spring 2001: Math 481/Phil. 431: Mathematical Logic

Autumn 2000: Math 222: Multivariable Calculus

Spring 2003:	Math 787: Set Theory
	Math 481/Phil. 431: Mathematical Logic
Spring 2002:	Math 783: Model Theory
	Math 486/CS 486: Applied Logic
Spring 2001:	Math 481/Phil. 431: Mathematical Logic
Autumn 2000:	Math 222: Multivariable Calculus