Logik für Studierende der Informatik WS13/14, Uni Freiburg