Dit is de website van het werkcollege van wiskundige logica. De hoofdwebsite van het vak is op Blackboard te vinden.
| Week | Onderwerpen | Documenten |
| 1 | Eerste-orde logica en relaties | Slides, handouts |
| 2 | Termen, formules en structuren | Slides, handouts, huiswerk 1 |
| 3 | Interpretaties | Slides, handouts |
| 4 | Axioma's en substitutie | Slides, handouts, huiswerk 2 |
| 5 | Bewijzen en correctheid | Slides, handouts |
| 6 | Bewijzen en correctheid (vervolg) | Slides, handouts, huiswerk 3, overzicht calculusregels |
| 7 | Henkins stelling | Slides, handouts |
| 8 | Consistentie, vervulbaarheid en de compactheidsstelling | Slides, handouts, huiswerk 4 |
| 9 | De compactheidsstelling en topologie, elementaire verzamelingen en Zorns lemma | Slides, handouts |
| 10 | Axiomatische systemen en elementaire verzamelingen (vervolg) | Slides, handouts, huiswerk 5 |
| 11 | Filters, ultrafilters en ultraproducten | Slides, handouts |
| 12 | ZFC en $\Phi_0$ | Slides, handouts, huiswerk 6 |
| 13 | ZFC + AF | Slides, handouts, tekstversie van V5 |