### Lecture notes

Lecture notes (scanned) are available >>here<<
**[19/01/2018]**.

An electronic available >>here<< (with some very minor differences from the material presented in the lecture).

### Reading material

- Bruno Buchberger, Logic for Computer Science, Unpublished lecture notes, Copyright Bruno Buchberger, 1991. (get the pdf version here)
- Zohar Manna, Richard Waldinger, The Logical Basis for Computer Programming, Volume 1: Deductive Reasoning, Addison Wesley, 1985.
- Mordechai Ben-Ari, Mathematical Logic for Computer Science, Second Edition, Springer Verlag London, 2001.

### Further reading

- John Harrison, Handbook of Practical Logic and Automated Reasoning, Cambridge University Press, 2009.

#### Other resources

Wikipedia has some good articles on logic, and it should provide a quick reference. However, if and when this resource is used, make sure you check the sources.