"Dynamic Logic" von Jerzy Tiuryn ist ein Buch aus der Foundations of Computing Series, das sich mit der formalen Logik und ihrer Anwendung auf die Informatik beschäftigt. Es bietet eine umfassende Einführung in die dynamische Logik, eine...