A continuation of PHL345H5, this is a course in the mathematical study of logic, also known as meta-logic. We will investigate and prove theorems about logical systems. Topics covered will include: basic set theory and recursion theory, completeness, compactness, and the Loewenheim-Skolem theorems for first-order logic, and Gödel's incompleteness theorems.