|
Jun 23, 2024
|
|
|
|
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
Add to Favourites (opens a new window)
|
|