このページのリンク

<図書>
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen.
(Synthese library ; v. 127)

出版者 Dordrecht, Holland : D. Reidel Pub. Co.
出版年 c1979.
大きさ x,, 127 p. ; 23 cm.
著者標目 Bowen, Kenneth A.
件 名 Modality (Logic)
Model theory
Predicate calculus
一般注記 Includes indexes.

所蔵情報を非表示

書庫2F 図書 図書
116//B68





0081076513

書誌詳細を非表示

データ種別 図書
別書名 その他のタイトル:Kripke models for modal predicate calculi
分 類 NDC:410.12
NDC:116.3
書誌ID 1000149371

 類似資料