- Mordechai Ben-Ari: Mathematical Logic for Computer Science. Springer-Verlag.
- archive of Prolog programs used in the book, provided by the author, compatible with SWI-Prolog, is here.
Exercises for seminars
- see the Seminars page
- Slides for lectures, full colors
- Slides for lectures, mainly black and white, more printer friendly
- Solutions to exemplary exam exercises are here
Page responsible: Andrzej Szalas
Last updated: 2014-08-31