Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home → Academic → Courses → Course Profile

COMP- 527: LOGIC AND COMPUTATION

Course Summary

Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.


McGill Course Description (Click Here)