MATH 4802
Introduction to Mathematical Logic (Honours)
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness.
Prerequisites & course information
Prerequisite(s): MATH 2100 or permission of the School. Lectures three hours a week.
Sources
- Course catalogue ↗2026–2027
- MATH 4802A W20 ↗2019