Lecture Notes
- Lecture Notes
Literature
The course is partly based on the following books:
- G.S. Bollos, J.P. Burgess, and R.C. Jeffrey
Computability and Logic
Cambridge University Press, 2007
ISBN 978-0-521-87752-7 (hardback)
- H.-D. Ebbinghaus, J. Flum, and W. Thomas
Einführung in die mathematische Logik
Spektrum Akademischer Verlag, 2007
ISBN 978-3-8274-1691-9
NB: There is an english translation entitled
"Mathematical Logic" of this text book. However this
edition is slightly out of date
These books are available in the
university library.
Additional Material
- The Resolution Calculus by Alexander Leitsch (pdf)
- Towards an Automatic Analysis of Security Protocols in First-Order Logic (pdf)