Temporal logic : mathematical foundations and computational aspects
- フォーマット:
- 図書
- 責任表示:
- Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
- 言語:
- 英語
- 出版情報:
- Oxford : Clarendon Press
New York ; Tokyo : Oxford University Press, 1994- - 形態:
- v. : ill. ; 24 cm
- 著者名:
- シリーズ名:
- Oxford logic guides ; 28, 40 <BA00017765>
- 書誌ID:
- BA23281751
- ISBN:
- 9780198537694 [0198537697] (v. 1)
9780198537687 [0198537689] (v. 2)
類似資料:
Clarendon Press | |
Springer-Verlag |
Clarendon Press |
Clarendon Press, Oxford University Press |
Springer-Verlag |
Clarendon Press, Oxford University Press |
10
図書
Investigations in modal and tense logics with applications to problems in philosophy and linguistics
D. Reidel Pub. Co. |
Clarendon Press |
E. Horwood, Distributor, Halsted Press |
Clarendon Press, Oxford University Press |
Clarendon Press, Oxford University Press |