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.


  • H(3-0)


  • Philosophy 379 or consent of the Department.


This course will be offered next in Fall 2018.
Powered by UNITIS. More features.
Connect with Us Twitter Facebook LinkedIn