Jun 23, 2024  
Undergraduate Calendar 2016-2017 
    
Undergraduate Calendar 2016-2017 [-ARCHIVED CALENDAR-]

Add to Favourites (opens a new window)

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)