NCID | BA58788738 |
タイトル | Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema |
出版者 | Cambridge : Cambridge University Press , 2002, c2001 |
形態 | xxii, 554 p. : ill. ; 23 cm |
注記 | Includes bibliographical references (p. 524-543) and index |
シリーズ名 | Cambridge tracts in theoretical computer science ; 53
|
分類 | LCC:QA9.46 DC21:511.3 |
件名 | LCSH:Modality(Logic)
|
著者情報 | Blackburn, Patrick, 1959- Rijke, Maarten de Venema, Yde, 1963-
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | イギリス |
ISBN | 0521527147(: pbk)
|
番号 | LCCN : 00054667 |