Mathematics (MATH)
School of Mathematics and Statistics
Faculty of Science
MATH 4802 [0.5 credit]
Introduction to Mathematical Logic (Honours)
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
Prerequisite:
MATH 2100 or permission of the School.
Lectures three hours a week.