An edition of First-Order Dynamic Logic (1979)
First-Order Dynamic Logic
By D. Harel
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
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