Learning outcomes

To deepen and expand knowledge from the intermediary courses in logic.

Contents

The completeness theorem, the compactness theorem, Gödel's incompleteness theorem, basics of model theory.

Evaluation

Belongs to following study modules