This is an advanced graduate course which I am offering in Spring 2002.

The course will meet Monday Wednesday Friday 12:20-1:10 PM, in 113 McAllister.

My office hours this semester are Monday Wednesday Friday 1:55-2:50 PM, and by appointment, in 333 McAllister.

Here is a list of possible topics to be covered.

Some textbooks and reference books in mathematical logic are listed here and here.

Also of interest is the Penn State Logic Seminar.

Click here to see more information on foundations of mathematics.

t20@psu.edu / 7 January 2002