ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 115 理学系研究科・理学部
  2. 11520 博士論文(理学系研究科)
  1. 0 資料タイプ別
  2. 20 学位論文
  3. 021 博士論文

Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics

https://doi.org/10.11501/3058787
https://doi.org/10.11501/3058787
1792c9be-4fb8-4c0c-9e0f-0c43cf2c4603
名前 / ファイル ライセンス アクション
245921.pdf 245921.pdf (6.1 MB)
Item type 学位論文 / Thesis or Dissertation(1)
公開日 2013-05-16
タイトル
タイトル Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics
言語
言語 eng
資源タイプ
資源 http://purl.org/coar/resource_type/c_46ec
タイプ thesis
ID登録
ID登録 10.11501/3058787
ID登録タイプ JaLC
その他のタイトル
その他のタイトル S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系
著者 Shimura, Tatsuya

× Shimura, Tatsuya

WEKO 10617

Shimura, Tatsuya

Search repository
著者別名
識別子Scheme WEKO
識別子 10618
姓名 志村, 立矢
著者所属
著者所属 東京大学大学院理学系研究科数学専攻
書誌情報 発行日 1991-03-29
学位名
学位名 理学博士
学位
値 doctoral
学位分野
Science(Rigaku)(理学)
学位授与機関
学位授与機関名 University of Tokyo (東京大学)
研究科・専攻
Department of Mathematics, Graduate School of Science(理学系研究科数学専攻)
学位授与年月日
学位授与年月日 1991-03-29
学位授与番号
学位授与番号 甲第08849
学位記番号
博理第2325号
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 20:31:27.094857
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3