Math 455: Logic (Spring 2020)
Class Meets Monday/Wednesday/Friday 13:30–14:20
Room Keller Hall 301
See here for the syllabus.
Course Outline

Part 0: Model Theory (Chapters I–III, VI, and material outside the textbook)

Part 1: Proof Theory (Chapters IV¸ V, VII, VIII)

Part 2: Computability and Incompleteness (Chapters X, and material outside the textbook)

Part 3: Nonstandard Models (Material outside the textbook)
For material outside the text I will strive to post supplemnetary notes on this page.
Announcements
(Nothing yet!)
Homework
 Homework 0 (Due Friday, Jan 24)