Skript "Logik, Berechenbarkeit und Komplexität"

Eine leicht verbesserte Version ist online. Bitte arbeiten Sie besonders das Kapitel "Folgern und Schliessen" durch um evtl. Fehler zu finden.