Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford (source code)

= Past exam of the model theory and Gödel's incompleteness theorems course of the University of Oxford
{scope}