文献
J-GLOBAL ID：201902104668050980   整理番号：19S0890211

Kripke incompleteness of predicate extentions of gabbay-de jongh's logic of the finite binary trees

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (1件)：
Shimura, Tatsuya

Shimura, Tatsuya について

(Department of Mathematics, College of Science and Technology, Nihon University)

Department of Mathematics, College of Science and Technology, Nihon University について


資料名：
Bulletin of the Section of Logic

Bulletin of the Section of Logic について


巻： 31  号： 2  ページ： 111-118  発行年： 2002年 
JST資料番号： SCOPUS  ISSN： 0138-0680 
発行国： ポーランド (POL) 

前のページに戻る

TOP

BOTTOM