Ein kompakter Leitfaden zu den theoretischen Grundlagen der Informatik, der Ergebnisse des LFCS‑Symposiums zusammenfasst und neue Perspektiven auf formale Logik, Algorithmen und Modellierung bietet.