Lecture notes for courses I have given:
Hier staan korte beschrijvingen van de vakken:
En hier is een pagina met informatie over afstuderen in de Logica
Here is a page about specializing in Logic in the Master Mathematical Sciences
In periods 3 and 4 I shall teach a mastermath course Gödel's Incompleteness Theorems, together with Prof. Henk Barendregt (RU). See here for more information.
Back to base.