このページのリンク

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.
(MIT Press series in artificial intelligence.)

データ種別 図書
出版者 Cambridge, Mass. : MIT Press
出版年 c1990.
本文言語 英語
大きさ 239 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 411/W3677a 04273217
0262231441

書誌詳細を非表示

一般注記 Includes indexes.
Bibliography: [228]-234.
著者標目 Wallen, Lincoln A.
件 名 Proof theory
Modality (Logic)
Intuitionistic mathematics
分 類 NDC:411
書誌ID 1000174071
ISBN 0262231441
NCID BA0786395X WCLINK

 類似資料