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.

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.


There are no comments for this course.