MTH 503 - Axiomatic Mathematics

Admission to Mathematics MA Program. (4)

Introduction to mathematical logic and its relationship to core areas of mathematics. Topics may include propositional and predicate logic, Godel’s Incompleteness Theorems, modal logic, model theory. Graded ABCDE