University of Calgary

PHIL 479 - Logic III - Fall 2018

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

top
Powered by UNITIS. More features.