Cursusmateriaal
Boeken en dictaten
- Hanne Riis Nielson en Flemming Nielson: Semantics
with applications, 1999 (via internet: PDF)
- J.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting,
J.S. Lodder en W.P.M. Meyer-Viol: Logica voor informatica,
derde editie, Pearson Education, 2003, ISBN 90-430-0722-6.
(Dit boek wordt ook in de cursussen Beweren en Bewijzen
en Semantiek en Logica 1 gebruikt.)
- Henk Barendregt en Erik Barendsen: Introduction
to lambda calculus (PDF)
- Erik Barendsen: Introduction to
type theory (PDF)
- Herman Geuvers: Herbrand Models and SLD resolution
(PDF)
- Herman Geuvers: Incompleteness and Undecidability of
Predicate Logic (PDF)
Diversen
- Opgavenbundel lambda-calculus (PDF)