PHL445H1

UTSG

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.

View full details on the UofT Academic Calendar
Prereq: PHL345H1/ MAT309H1; 4.0 credits in philosophyBreadth: Thought, Belief & BehaviourExcl: PHL445H5; PHLD51H3
Easy0%
Useful0%
0
comments
0
ratings

Course Info

DepartmentPHL
CampusUTSG (St. George)
Level400
Hours36S
BreadthThought, Belief & Behaviour
What do you think of PHL445H1?

Reviews

No reviews yet — be the first to share your experience.