Topics in Logic

Graduate

Precise topics will vary; consult the department for current information. Possible topics include: axiomatic set theory, computability theory, model theory or proof theory.