**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.