Math 558 is an introductory graduate-level course in foundations of mathematics. It is suitable for all mathematics graduate students. It is also part of our first year graduate sequence in logic and foundations, Math 557-558, which prepares Ph.D. students for the logic qualifying exam.
I taught Math 558 in Spring 2004. Here are some course materials.
I have taught Math 558 several times before. Some old course materials are available.
Click here to see more information on foundations of mathematics.
Also of interest is the Penn State Logic Seminar.
firstname.lastname@example.org / 3 May 2004