MATH 4010 - Introduction to Mathematical Logic

3 hours

Introduction to the syntax and semantics of propositional logic and first-order logic. Topics include quantifier elimination, compactness and completeness theorems, Craig’s interpolation theorem, elementary submodels, partial recursive functions, Gödel numbering, decidability of theories, Peano arithmetic, Robinson’s system and Gödel’s incompleteness theorems.

Prerequisite(s): MATH 3000. MATH 3510 or MATH 3610.

Course specific fees (in addition to tuition and mandatory):
Academic (AF) per hour: $33.10