**Instructor:**Henry Towsner

**E-mail:**htowsner@math.upenn.edu

**Office:**4N51

**Office Hours:**Tuesdays 1:30-3:00 and Wednesdays 1:00-2:00

**Office Phone:**(215) 898-8474

This year's Topics in Logic course will be an introduction to the field of proof theory, with a focus on the connection between proof theory and other areas of mathematics. Coursework will consist of homework assignments due every other week and an approximately 10 page expository paper on a topic related to the course.