2009 • Die Informatik und die Logik der Modelle