Uit het dictaat: (i.h.a. hoeft men niet de gesterde onderdelen te kennen behalve Hoofdstuk 6, Subsectie 1.6):
- Hoofdstuk 2
- Hoofdstuk 3
- Hoofdstuk 4, behalve Sectie 7
- Hoofdstuk 5, behalve Opmerking 3.5 en de opmerking over alpha-equivalentie direct boven Sectie 4
- Hoofdstuk 6, inclusief Subsectie 1.6
- Hoofdstuk 7, behalve Subsectie 1.4. U hoeft geen logische equivalenties uit het hoofd te leren. Wel nuttig die door te lezen en er een stuk of drie (van verschillende soort) proberen te begrijpen.
- Hoofdstuk 8
- NIET: Hoofdstuk 9 over identiteit
- Verder opmerking: bij ND bewijzen hoeft u niet de check of een stap aan de *side conditions* voldoet expliciet uit te schrijven, tenzij hier in de toets om gevraagd wordt.