出版情報	Dordrecht, Holland : D. Reidel Pub. Co. , c1979
大きさ	x, 127 p. ; 23 cm
別書名	異なりアクセスタイトル:Kripke models for modal predicate calculi
一般注記	Bibliography: p. 119-122 Includes indexes
著者標目	*Bowen, Kenneth A.
件　名	LCSH:Modality (Logic) LCSH:Model theory LCSH:Predicate calculus
分　類	LCC:QA9.46 DC:511/.3
本文言語	英語
書誌ID	TB10014089
ISBN	9027709297
NCID	BA00704266
巻冊次	ISBN:9027709297