Godel Theory

4 units · Graduate courses (200-299)

Lecture, four hours. Requisite: course 222A. Second-order arithmetic. Second in series of three courses leading to Gödel incompleteness theorem and Tarski definition of truth. S/U or letter grading.