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
Book Lists