First-order dynamic logic /
Hlavní autor: |
Harel, David, 1950-
(
Autor )
|
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Berlin :
Springer,
1979.
|
Edice: |
Lecture notes in computer science ;
68 |
Předmět: | |