The course is largely based on the book Modelling Computing Systems: Mathematics for Computer Science by Faron Moller and Georg Struth. The .pdf version of this book is available for free, provided you are on campus.

We are collecting errata in the book on Github – please let us know if you spot any mistakes!

In addition to this book, I have brief set of lecture notes that we will use for the last few weeks of the course.

But there are many other interesting books about logic: