First-order dynamic logic
Author(s)
Bibliographic Information
First-order dynamic logic
(Lecture notes in computer science, 68)
Springer-Verlag, 1979
- : gw
- : us
Available at / 65 libraries
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:68831022090
-
Hokkaido University, Faculty and Graduate School of Engineering図書
: Germanydc16:001.6/l4973520914765
-
No Libraries matched.
- Remove all filters.
Note
Rev. version of the author's thesis, M.I.T., 1978
Bibliography: p. [127]-133
Includes index
Description and Table of Contents
Table of Contents
I: Binary-relation semantics.- II: Computation-tree semantics.
by "Nielsen BookData"