This repository provides accompanying lectures notes for the Logic section of CO519 - Theory of Computing, at the School of Computing, University of Kent.
Sources are in LaTeX and can be compiled with pdflatex, e.g.
pdflatex notes.tex
If you spot any errors, please fork and submit a pull request, or add an 'Issue'. This is also a good way to include suggestions.