These are the lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.
I use these notes to cover some additional material after completing the first part of Moller and Struth's Modelling Computing Systems.
Please create an issues or pull requests if you spot any errors.