Time/place: MWF 2:00 in 2-142
Office hours: Monday 1:00, Tuesday 2:00 in 2-377, or by appointment
Midterm exam during class on Wednesday, October 26; final exam 9:00-11:00 on December 20 in 56-154
Topics: Propositional and predicate logic. Zermelo-Frenkel set theory. Ordinals and cardinals. Axiom of choice and transfinite induction. Elementary model theory: completeness, compactness, and Löwenheim-Skolem theorems. Gödel's incompleteness theorem.