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.

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:

Natural deduction

There are many different explanations of natural deduction for propositional logic.