MATH 4L03 * INTRODUCTION TO MATHEMATICAL LOGIC

First order logic, deduction systems, completeness and compactness theorems, model theory. Three lectures; one term Prerequisite(s): MATH 3E03