Course: Math 570 (Intro to Logic and Computability)/Phil 006 (Formal Logic II)/Lgic 310 (Logic I)
Instructor: Henry Towsner
Office: 4N51
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.


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