Advanced Modern Logic

4-None

Topics from the theory of formal systems, set theory, recursive function theory, and automata theory.