文献
J-GLOBAL ID:201902104668050980
整理番号:19S0890211
Kripke incompleteness of predicate extentions of gabbay-de jongh's logic of the finite binary trees
-
出版者サイト
複写サービスで全文入手
-
高度な検索・分析はJDreamⅢで
著者 (1件):
資料名:
巻:
31
号:
2
ページ:
111-118
発行年:
2002年
JST資料番号:
SCOPUS
ISSN:
0138-0680
発行国:
ポーランド (POL)
前のページに戻る