OPAC

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

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-研究室	410.1\|\|W36	100848886		1990			0262231441		請求メモ		請求メモ

別書名	背表紙タイトル:Automated deduction in nonclassical logics
一般注記	Bibliography: p. [228]-234 Includes indexes
件　名	LCSH:Proof theory LCSH:Modality (Logic) LCSH:Intuitionistic mathematics
分　類	LCC:QA9.54 DC20:511.3 NDC7:410.12
書誌ID	B000079198
ISBN	0262231441
NCID	BA0786395X