Course notesFor the part that is borrowed from 'Formal Reasoning' we use course notes. For the part that is borrowed from 'Combinatorics' we use a book.
Website Formal ReasoningOn www.cs.ru.nl/~freek/courses/fd-2016 you can find a detailed schedule for that course. In the schedule it is explicitly stated what will be discussed each lesson.
SlidesIn the part from 'Combinatorics' slides will be used. They will become available in Blackboard after the lectures.