Notes that gained me 80 in the Computer Science Logic examination, all notes are hand written and scanned into a PDF document, all students taking any Logic module will find sanctuary with these notes. Computational tree logic, Linear temporal logic, model checking, verification and many more....I advice all Students who buy these notes to read the notes several times over and over again, the notes also contain questions and answers which will aide the reader in understanding logic in practice....