First term: Introduction to first-order logic and model theory. The Godel Completeness Theorem. Definability, elementary equivalence, complete theories, categoricity. The Skolem-Lowenheim Theorems. The back and forth method and Ehrenfeucht-Fraisse games. Fraisse theory. Elimination of quantifiers, applications to algebra and further related topics if time permits. Second and third terms: Axiomatic set theory, ordinals and cardinals, the Axiom of Choice and the Continuum Hypothesis. Models of set theory, independence and consistency results. Topics in descriptive set theory, combinatorial set theory and large cardinals.