Skript "Logik und Berechenbarkeit"

Eine erste Version des Skripts ist online.