Logik für Informatiker

Material aus anderen Vorlesungen:

• Ulrich Furbach: Logic for Computer Scientists. Vorlesungsskriptum und Wikibook

Aussagenlogik, Prädikatenlogik:

• 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
• Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh (Editors)
  Handbook of Satisfiability
  IOS Press, 2009