MATH 551 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.