| NCID | BA83463189 |
| タイトル | Operations and relations : two semantical treatments of intensional connectives in substructural logics = 操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法 / Ying Gao||Operations and relations : two semantical treatments of intensional connectives in substructural logics = ソウサ ト カンケイ : ブブン コウゾウ ロンリ ニ オケル ナイホウテキ ケツゴウシ ニ カンスル フタツ ノ イミロンテキ シュホウ |
| 出版者 | [Saitama] : Ying Gao , 2007 |
| 形態 | viii, 149 p. ; 30 cm |
| 注記 | Thesis(doctoral)--Saitama University, 2007, 博理工甲第652号
Includes bibliographical references |
| 著者情報 | 高, 颖 (1977-) (コウ, エイ)
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | 日本 |