| 出版情報 |
Oxford : Clarendon Press , 1992 |
| 大きさ |
x, 571 p. ; 24 cm |
| 一般注記 |
Includes bibliographical references and index |
| 著者標目 |
Abramsky, Samson, 1953-
Gabbay, Dov M., 1945-
Maibaum, Thomas S. E., 1947-
|
| 件 名 |
LCSH:Computer science
LCSH:Logic, Symbolic and mathematical
|
| 分 類 |
LCC:QA76
DC20:004
|
| 本文言語 |
英語 |
| 書誌ID |
TY00009665 |
| ISBN |
0198537611 |
| NCID |
BA19116536
|
| 巻冊次 |
ISBN:0198537611
|
