Course: Math 570 (Intro to Logic and Computability)/Phil 006 (Formal Logic II)/Lgic 310 (Logic I)
Instructor: Henry Towsner
E-mail: htowsner@math.upenn.edu
Office: 4N51
Office Hours: Mondays from 10-11:30 and Thursdays from 3:15-4:15
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 15th and a final exam on Monday, December 14 from 12:00-2:00.

Grades

Grades will be based on: 30% Homework, 30% Midterm, 40% 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.