Trent University
Mathematics-Computer Science 4215H
Mathematical Logic


MATH-COIS 4215H is an introduction to the study of propositional and first-order logics as mathematical objects in their own right, through the Soundness, Completeness, and Compactness Theorems. The course uses the modified Moore method: given the definitions and statements of results, some examples, and some hints, students will prove most of the results for themselves.

Prerequisite: MATH 2200H, or the permission of the instructor.


Winter 2021

In case you're wondering about the long gap between 2012 and 2021, the course was offered as a reading course several times in between, but there were too few students interested and/or too many other demands on staffing resources to offer it as a regular course.

Fall 2012


Other sources

A few mathematical logic resources available online:


Maintained by Stefan Bilaniuk. Last updated 2021-05-16.