WEKO3
アイテム
<学位論文>超限的な再帰定義とBar帰納法を持つ構成的算術体系の自然演繹について
http://hdl.handle.net/10965/00003490
http://hdl.handle.net/10965/0000349068f60e35-6ddf-432b-8d36-2c6b3f8a4331
| アイテムタイプ | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2018-01-28 | |||||
| タイトル | ||||||
| タイトル | <学位論文>超限的な再帰定義とBar帰納法を持つ構成的算術体系の自然演繹について | |||||
| タイトル | ||||||
| タイトル | On Natural Deductions of a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| アクセス権 | ||||||
| アクセス権 | metadata only access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
| 雑誌書誌ID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN10232768 | |||||
| ページ属性 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | P | |||||
| 論文名よみ | ||||||
| その他のタイトル | ガクイ ロンブン チョウゲンテキ ナ サイキ テイギ ト Bar キノウホウ オ モツ コウセイテキ サンジュツ タイケイ ノ シゼン エンシャク ニツイテ | |||||
| 著者 |
高木, 理
× 高木, 理 |
|||||
| 著者所属(日) | ||||||
| 値 | 京都産業大学理学研究科 | |||||
| 書誌情報 |
京都産業大学論集. 自然科学系列. I en : Acta humanistica et scientifica universitatis Sangio Kyotiensis. Natural science series. I 巻 28, p. 114-248, 発行日 1999-03-30 |
|||||
| 表示順 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 8 | |||||
| アクセション番号 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | KJ00000596526 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0916-5916 | |||||
