博士論文

Operations and relations : two semantical treatments of intensional connectives in substructural logics

Icons representing 博士論文

Operations and relations : two semantical treatments of intensional connectives in substructural logics

Call No. (NDL)
UT51-2008-A617
Bibliographic ID of National Diet Library
000009340939
Material type
博士論文
Author
Ying Gao [著]
Publisher
[Ying Gao]
Publication date
[2007]
Material Format
Paper
Capacity, size, etc.
1冊
Name of awarding university/degree
埼玉大学,博士 (理学)
View All

Notes on use

Note (General):

博士論文

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
博士論文
Author/Editor
Ying Gao [著]
Author Heading
高, 頴 コイ, エイ
Publication, Distribution, etc.
Publication Date
[2007]
Publication Date (W3CDTF)
2007
Extent
1冊
Alternative Title
操作と関係 : 部分構造論理における内包的結合子に関する二つの意味論的手法 ソウサ ト カンケイ : ブブン コウゾウ ロンリ ニ オケル ナイホウテキ ケツゴウシ ニ カンスル フタツ ノ イミロンテキ シュホウ
Degree grantor/type
埼玉大学