Metalogic

Prerequisites & course information

Formal syntax (proof theory) and semantics (model theory) for first-order logic, including the deduction, completeness, compactness, and Loewenheim-Skolem theorems.