/co519-logic

Some accompanying lectures notes for CO519 - Logic at the School of Computing, University of Kent.

Primary LanguageTeX

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.