Title: First-Order Dynamic Logic
Subjects: Programmation, Mathematische Logik, Langage algébrique, Logique premier ordre, Logique programme, Computer programming, Programmierung, Logik, Logique symbolique et mathématique, Sémantique langage, Symbolic and mathematical Logic, Analyse programme, Programmation (Informatique), Recursion theory, Ordinateurs, Récursivité, Théorie de la, Logique formelle, Logic, symbolic and mathematical