Prof. Russell Miller

C.U.N.Y. Graduate Center Courses

Spring 2016:  Math 712: Logic
Spring 2015:  Math 712: Logic
Autumn 2013:  Computer Science 85020: Computable Model Theory
Autumn 2011:  Computer Science 85020: Introduction to Computability Theory
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 2017:  Math 626: Mathematics and Logic
  Math 141: Calculus/Differentiation
Spring 2017:  Math 142: Calculus/Integration (two sections)
Autumn 2016:  Math 626: Mathematics and Logic
  Math 152: Calculus/Integration and Infinite Series
Spring 2016:  Math 609: Introduction to Set Theory
Autumn 2015:  Math 333: Introduction to Algebraic Structures
  Math 141: Calculus/Differentiation
  Math 131: Calculus for the Social and Life Sciences
Autumn 2014:  Math 626: Mathematics and Logic
  Math 223: Differential Equations with Numerical Methods I (first six weeks, September 1 - October 15)
  Math 141: Calculus/Differentiation
  Math 131: Calculus for the Social and Life Sciences
Spring 2014:  Math 609: Introduction to Set Theory
  Math 231: Linear Algebra I
Autumn 2013:  Math 626: Mathematics and Logic
Spring 2013:  Math 609: Introduction to Set Theory
  Math 142: Calculus/Integration (two sections)
Autumn 2012:  Math 626: Mathematics and Logic
  Math 223: Differential Equations with Numerical Methods I
Autumn 2011:  Math 626: Mathematics and Logic
Autumn 2010:  Math 626: Mathematics and Logic
  Math 157: Honors Calculus
Spring 2010:  Math 609: Introduction to Set Theory
  Math 141: Calculus/Differentiation
  Math 131: Calculus for the Social and Life Sciences
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