WEKO3
-
RootNode
アイテム
算術の形式体系と計算可能性理論による部分非可述性の探求
http://hdl.handle.net/10097/0002002595
http://hdl.handle.net/10097/000200259514a1fab9-97a1-438e-be4c-e106a8eda48c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
240326-Suzuki-3500-1.pdf (437.4 KB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-10-30 | |||||||
| タイトル | ||||||||
| タイトル | Studies on partial impredicativity in formal systems of arithmetic and computability theory | |||||||
| 言語 | en | |||||||
| タイトル | ||||||||
| タイトル | 算術の形式体系と計算可能性理論による部分非可述性の探求 | |||||||
| 言語 | ja | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||||
| 資源タイプ | thesis | |||||||
| 著者 |
Suzuki, Yudai
× Suzuki, Yudai
|
|||||||
| 著者別名 | ||||||||
| 姓名 | 鈴木, 悠大 | |||||||
| 言語 | ja | |||||||
| 出版タイプ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
| 登録日 | ||||||||
| 日付 | 2024-10-30 | |||||||
| 日付タイプ | Available | |||||||
| 公開日（投稿完了日） | ||||||||
| 日付 | 2024-10-30 | |||||||
| 日付タイプ | Available | |||||||
| 学位授与年月日 | ||||||||
| 学位授与年月日 | 2024-03-26 | |||||||
| 学位名 | ||||||||
| 学位名 | 博士（理学） | |||||||
| item_19_degree_grantor_83 | ||||||||
| 学位授与機関名 | Tohoku University | |||||||
| 学位授与年月日 | ||||||||
| 学位授与年月日 | 2024-03-26 | |||||||
| dissertation_number | ||||||||
| 学位授与番号 | 11301甲第21302号 | |||||||
| 指導教員 | ||||||||
| 値 | 横山 啓太 | |||||||
