Metalogic

Prerequisites & course information

Introduction to formal syntax (proof theory) and semantics (model theory) for first-order logic, including the deduction, completeness, compactness, and Löewenheim-Skolem theorems.