Ein praxisorientiertes Buch, das die Logik als Werkzeug zur Modellierung von dynamischen Objektsystemen nutzt, um komplexe Interaktionen klar und nachvollziehbar zu beschreiben.