co519-logic
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.