| NCID | BA23281751 |
| タイトル | 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 |
| 注記 | Includes bibliographical references and indexes
Vol. 2 (published 2000) by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger |
| シリーズ名 | Oxford logic guides ; 28, 40
|
| 分類 | LCC:QA76.6
DC20:511.3 |
| 件名 | LCSH:Electronicdigitalcomputers -- Programming
LCSH:Logic,Symbolicandmathematical
|
| 著者情報 | Gabbay, Dov M., 1945-
Hodkinson, Ian
Reynolds, Mark (Mark A.)
Finger, Marcelo
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 0198537697(v. 1)
0198537689(v. 2)
|
| 番号 | LCCN : 94019153 |