

An edition of First-Order Dynamic Logic (1979)
By D. Harel
Publish Date
June 1, 1979
Publisher
Springer
Language
eng
Pages
148
Description:
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