Course: Math 570 (Intro to Logic and Computability)/Phil 006 (Formal Logic II)/Lgic 310 (Logic I)
Instructor: Henry Towsner
Office: 4N51
Office Hours: Wednesday 1-2, Thursday 10:30-12:30, or by appointment
Office Phone: (215) 898-8474


The textbook for this class is Leary and Kristiansen, A Friendly Introduction to Mathematical Logic, 2nd ed., 2015. This text is freely available online.

It may be helpful to refer Enderton, A Mathematical Introduction to Logic, which is on reserve in the library, but this book is not required.


Homework will be assigned roughly weekly, usually on Friday, and will be due the following Friday.


There will be two exams, an in-class midterm on October 25th and a take-home final due at 2pm on Monday, December 16.


Grades will be based on: 40 Homework, 30% Midterm, 30% Take Home Final.


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.


Math 570 is an introduction to first-order logic and formal mathematical proof. The topics covered are: