MATH 4L03* - Introduction to Mathematical Logic

3 unit(s)

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