Lecture Notes
- Lecture Notes for Winter 2009
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
- on paramodulation and superposition (pdf)
- on Isabelle (pdf)