CiNiiで詳細を確認

このページのURL

この文献を取り寄せる

<図書>
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
本文言語 英語
書誌ID 2003348409
NCID BA00704266 WCLINK

所蔵情報を非表示

総合図-書庫
116||BOW 07917029105

9027709297
人図
116||BOW 07909029337

9027709297
人図
116||BOW 08009024277

9027709297

書誌詳細を非表示

別書名 異なりアクセスタイトル: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
巻冊次 ISBN:9027709297