First-order dynamic logic
著者
書誌事項
First-order dynamic logic
（Lecture notes in computer science, 68）
Springer-Verlag, 1979
- : gw
- : us
大学図書館所蔵 件 / 全66件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Rev. version of the author's thesis, M.I.T., 1978
Bibliography: p. [127]-133
Includes index
内容説明・目次
目次
I: Binary-relation semantics.- II: Computation-tree semantics.
「Nielsen BookData」 より