Print and PDF Options

MATH 4802 [0.5 credit] Introduction to Mathematical Logic (Honours)

Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
Prerequisite(s): MATH 2100 or permission of the School.
Lectures three hours a week.