Slides

Dictionary

• English-German dictionary of deduction-related terms: [pdf] [ps]

Course material from other lectures

• Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann:
  Slides for "Automated Reasoning" SS 2004.
  Online at http://www.mpi-inf.mpg.de/~uwe/lehre/autreas/readings.html.
• Gert Smolka:
  Lecture notes for "Einführung in die Computationale Logik" SS 2003.
  Online at http://www.ps.uni-sb.de/courses/cl-ss03/skript/.

Propositional logic, first-order logic

• Melvin Fitting:
  First-Order Logic and Automated Theorem Proving.
  Springer-Verlag, New York, 1996.
• Uwe Schöning:
  Logik für Informatiker.
  Spektrum Akademischer Verlag, 2000
• Leo Bachmair and Harald Ganzinger:
  Resolution Theorem Proving,
  Handbook of Automated Reasoning, North Holland, 2001. [.ps.gz]

Decision procedures

• A. Bradley and Z. Manna:
  The Calculus of Computation. Decision Procedures with Applications to Verification.
  Springer 2007.
  
• Daniel Kroening and Ofer Strichman:
  Decision Procedures An Algorithmic Point of View
  Springer 2008.