描述
基础研究生数理逻辑课程。命题与谓词逻辑、证明论、Gentzen 的割消（Cut-Elimination）、完备性、紧致性、Henkin 模型、模型论、算术与不可判定性。视授课者与听众兴趣，时间允许时讨论特别主题。
原文参考文本
A basic graduate course in mathematical logic. Propositional and predicate logic, proof theory, Gentzen's Cut-Elimination, completeness, compactness, Henkin models, model theory, arithmetic and undecidability. Special topics (time permitting) depending on interests of instructor and audience.
来源与参考
为帮助您核实信息，保留了日期和来源。为便于阅读提供了翻译；以官方来源为准，查看条件和要求。
来源参考 : https://calendar.carleton.ca/grad/courses/MATH/