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 |