Metalogic

0.5 credits · Undergraduate

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.