MATH 451 Introduction to Mathematical Logic

Classical propositional and first-order predicate logic; syntax, semantics, basic metamathematical theorems including the Goedel-Henkin completeness theorem and the Skolem-Lowenheim theorem. Other possible topics: first-order recursive arithmetic, Goedel's incompleteness theorems, intuitionistic systems, Church's theorem, Tarski's theorem.

Credits

3

Prerequisite

MATH 248 (formerly MATH 305) and either MATH 321 or MATH 505