C

CompLog

The slides and course notes of the course Computational Logic at Jacobs University.