PHL445H1: Metalogic


A continuation of PHL345H1, this is a course in the mathematical study of logic, also known as metalogic. We will investigate and prove theorems about logical systems. Topics covered may include: important results in metalogic, second and higher-order logic, or lambda-calculus.

PHL345H1/ MAT309H1; 4.0 credits in philosophy
Thought, Belief and Behaviour (2)