Operations and relations : two semantical treatments of intensional connectives in substructural logics 操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法
著者
書誌事項
Operations and relations : two semantical treatments of intensional connectives in substructural logics = 操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法
Ying Gao, 2007
- タイトル読み
-
Operations and relations : two semantical treatments of intensional connectives in substructural logics = ソウサ ト カンケイ : ブブン コウゾウ ロンリ ニ オケル ナイホウテキ ケツゴウシ ニ カンスル フタツ ノ イミロンテキ シュホウ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Thesis(doctoral)--Saitama University, 2007, 博理工甲第652号
Includes bibliographical references