aangebrachte wijzigingen vrijdag 7-10-2011:
syllabus propositielogica:
- trema's weggehaald in (vormen van) `definieer'
- in samenvatting Hoofdstuk 4 uitspraak van Gamma, Delta toegevoegd
- in opgave 3 van hoofdstuk 4, notatie aangepast aan die
  van de Syllabus Inductie en een verwijzing geplaatst.
- blz 34: `maar d.t is' => `maar dat is'
- in samenvatting van Hoofdstuk 7 
  `V(A)+V(B) mod 2' => `V(A)+V(B)+1 mod 2'
- `nivo' => `niveau'
- blz 62 `Engelse term voor strijdig' => `Engelse term voor vervulbaar'
- blz 63 `Engelse term voor vervulbaar' => `Engelse term voor strijdig'
syllabus inductie:
- blz 13 `1-mod2(0)' => `1-mod2(n)'
- blz 15 `getallen kunnen opvatten' => `getallen opvatten'

aangebrachte wijzigingen woensdag 12-10-2011:
syllabus inductie:
- layout deels gewijzigd (meer ruimte tussen onderdelen).
- voorbeeld/opgave van regelmaat toegevoegd (opgave 2.0.1)
- diverse kleine tekstuele verbeteringen in hoofdstukken 1-3
- hoofdstuk 4, bewijzen met inductie, toegevoegd
- hoofdstuk 5, inductie in wiskunde, toegevoegd