- PROP is a computer program to do logical calculations with abstract propositions, according to the methods described in part I, Chapter 6. The program is written by Hans Zantema and it can be downloaded from http://www.win.tue.nl/~luttik/Courses/LST/prop.zip. After unpacking, run prop.exe.
- There is a LaTeX package to typeset flag style derivation. It is made by Paul van Tilburg and it can be downloaded from http://www.ctan.org/pkg/flagderiv. (The package flagderiv.sty is obtained by downloading all files and executing 'latex flagderiv.ins'.)
- At http://www3.amherst.edu/~nstarr/puzzle.html there is information about the tromino puzzle
- If you understand Dutch, then you may find useful additional explanations in the book Logica voor alfa's en informatici by Jan van Eijck and Elias Thijsse. Note that this book should only be used as additional material; it cannot be used as a replacement for the official course material listed on Course Material.