PHLD51H3: Metalogic

Symbolic Logic deals with formal languages: you work inside formal proof systems, and also consider the "semantics", dealing with truth, of formal languages. Instead of working inside formal systems, Metalogic treats systems themselves as objects of study, from the outside.

PHL348H, (PHLC54H3)
Quantitative Reasoning