Godel Theory
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.
Click on any course to view its details