Model theory, computability theory, set theory. In particular syntax and semantics of first order logic; incompleteness, completeness, and compactness theorems; Loewenheim-Skolem theorems; computable and computably enumerable sets; axioms of set theory; ordinals and cardinals. Graduate students only.