University of Calgary

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

This course will be offered next in Fall 2018.
Powered by UNITIS. More features.