Logic

Lecture Notes

• Lecture Notes

  pdf	errata (updated November 29)

  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)
  • Digression: The Curry-Howard Isomorphism (pdf)
  • Digression: Towards an Automatic Analysis of Security Protocols in First-Order Logic (pdf)