Neues Skript "Logik, Berechenbarkeit und Komplexität"

Eine neue Version des Skripts ist online. Um Verbesserungsvorschläge wird gebeten.