Advanced metatheory for logical systems. Godel's incompleteness theorems, models of arithmetic, and definability.
This course may not be repeated for credit.
Prerequisite(s)
- Philosophy 379 or consent of the Department.
Sections
This course will be offered next in
Fall 2018.