Instructor: Henry Towsner
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.