OPAC

Proof methods for modal and intuitionistic logics / Melvin Fitting
(Synthese library ; v. 169)

データ種別	図書
出版者	Dordrecht, Holland ; Boston, U.S.A. : D. Reidel
出版者	Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Boston
出版年	c1983
本文言語	英語
大きさ	viii, 555 p. ; 23 cm
著者標目	*Fitting, Melvin Chris

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-研究室	410\|\|F29	100858158		1983			9027715734		請求メモ		請求メモ

一般注記	Bibliography: p. 526-539 Includes index
件　名	LCSH:Proof theory LCSH:Modality (Logic) LCSH:Intuitionistic mathematics
分　類	LCC:QA9.54 DC19:511.3
書誌ID	B000079191
ISBN	9027715734
NCID	BA0107471X