| 出版情報 |
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
|
