Logic in Computer Science (PDF Slides)

1. How to Prove Things by Induction on Formulas 
2. Slides on  Horn Clauses  
3. highly condensed four-page handout is here.
4. deduction in propositional logic on the website, at left-right.pdf.
5. slides on derivations, soundness and completeness are here
6. Slides with a few examples and some background on quantifiers are here. 
7. slides with info about Büchi automata and LTL are here.
8. A paper by M. Vardi on Büchi automata and linear temporal logic is here .
9. slides on motivation for linear temporal logic are here
10. slides on soundness for the quantifier rules 
11. notes on deduction in propositional logic . here on the web site.
12. deduction in propositional logic  left-right.pdf
13. Slides on extended rules and proof search 
14. Slides on  completeness of predicate logic 
15. Table of Greek Letters