Logic III

3 credits · Undergraduate Programs

Advanced metatheory for logical systems. Godel's incompleteness theorems, models of arithmetic, and definability. Prerequisite(s): Philosophy 379