University of Calgary
UofC Navigation

PHIL 479 - Logic III - Winter 2017

Advanced metatheory for logical systems. Godel's incompleteness theorems, models of arithmetic, and definability.
This course may not be repeated for credit.

Hours

  • H(3-0)

Prerequisite(s)

  • Philosophy 379 or consent of the Department.

Sections

Powered by UNITIS. More features.
Connect with Us Twitter Facebook LinkedIn