課程說明
基礎研究所數理邏輯課程。命題邏輯與謂詞邏輯、證明論、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/