MATH 4L03/6L03 Introduction to Mathematical Logic First order logic, deduction systems, completeness and compactness theorems, model theory. Three lectures; one term Prerequisite: MATH 3E03