MATH 5010 - 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): Consent of department.

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