Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Logik in der Informatik | Zielgruppen (dunkelblaue Leiste) Zielgruppen (dunkelblaue Leiste) Einstellungen Kurzname Der Kurzname ist ein Teil der Webadresse (URL) des Artikels. Er sollte keine Leerzeichen, Unterstriche oder vermischte Groß- und Kleinschreibungen enthalten. audiencemenu-de Inhalte Studieninteressierte Schule Forschende Wirtschaft Presse Alumni Beschäftigte