Instructor: Henry Towsner
E-mail: htowsner@math.upenn.edu
Office: 4N51
Office Hours: Tuesdays 10:30-11:30 and Wednesdays 1:30-3:00
Office Phone: (215) 898-8474
Textbook
The textbook for this class is Enderton
A Mathematical Introduction to Logic, 2nd ed. 2001.
Homework
Homework will be assigned roughly weekly.
Exams
There will be two exams, an in-class midterm on October 22nd and a final exam on Monday, December 16 from 9:00-11:00.
Grades
Grades will be based on: 20% Homework, 35% Midterm, 45% Final Exam.
Corrections
If you believe there is a mistake on any grading, you have
two weeks from when the item is handed back to bring it to my attention.