To deepen and expand knowledge from the intermediary courses in logic.
The completeness theorem, the compactness theorem, Gödel's incompleteness theorem, basics of model theory.