| NCID | BA0786395X |
| タイトル | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen |
| 出版者 | Cambridge, Mass. : MIT Press , c1990 |
| 形態 | 239 p. : ill. ; 24 cm |
| 別書名 | Automated deduction in nonclassical logics
|
| 注記 | Bibliography: p. [228]-234
Includes indexes |
| シリーズ名 | The MIT Press series in artificial intelligence
|
| 分類 | LCC:QA9.54
DC20:511.3
NDC7:410.12 |
| 件名 | LCSH:Prooftheory
LCSH:Modality(Logic)
LCSH:Intuitionisticmathematics
|
| 著者情報 | Wallen, Lincoln A.
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | アメリカ合衆国 |
| ISBN | 0262231441
|
| 番号 | LCCN : 89014539 |