MATH 160 Mathematical Logic

Propositional and predicate calculus. Formal grammar, semantical interpretation, formal deduction, and their interrelation. Applications to formalized mathematical theories. Selected topics from model theory (e.g. Löwenheim-Skolem Theorems) or proof theory (e.g. Gödel Incompleteness Theorems). (Formerly Mathematical Logic I.)