Set theory, (none)
Model theory 1, (none)
Model theory 2, (none)
Recursion theory, (none)
Topics in mathematical logic, (none)