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
1-1 of 1 Editions
First-Order Dynamic Logic
Language: eng
Pages: 148
Published In: June 1, 1979
Publisher: Springer