PHILOS 222B
Godel Theory
Description: 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.
Units: 4.0
Units: 4.0