Math 457, Introduction to Mathematical Logic

Instructor: John Clemens

email: clemens@math.psu.edu


Lecture notes approximately through 4-16:

Postscript or PDF or alternate PDF

Note: Some of the diagrams do not appear correctly in the PDF version. They are fine in the alternate PDF, but the text does not render as well on screen (but prints reasonably well).


Homework:

  1. Homework #1 (due Friday, 1-23): Postscript or PDF
  2. Homework #2 (due Friday, 1-30): Postscript or PDF
  3. Homework #3 (due Monday, 2-9): Postscript or PDF
  4. Homework #4 (due Friday, 2-20): Postscript or PDF
  5. Homework #5 (due Friday, 3-5): Postscript or PDF
  6. Homework #6 (due Friday, 3-26): Postscript or PDF
  7. Homework #7 (due Friday, 4-9): Postscript or PDF
  8. Homework #8 (due Friday, 4-23): Postscript or PDF
  9. Homework #9 (due Friday, 4-30): Postscript or PDF

Click here for the course syllabus.