| Item Type |
Article |
| ID |
|
| Preview |
| Image |
|
| Caption |
|
|
| Full text |
KO10001002-20174912-0003.pdf
| Type |
:application/pdf |
Download
|
| Size |
:456.1 KB
|
| Last updated |
:Oct 9, 2018 |
| Downloads |
: 809 |
Total downloads since Oct 9, 2018 : 809
|
|
| Release Date |
|
| Title |
| Title |
On Gentzen's three consistency proofs for arithmetic(本文)
|
| Kana |
|
| Romanization |
|
|
| Other Title |
| Title |
算術の無矛盾性に対するゲンツェンの三つの証明について
|
| Kana |
サンジュツ ノ ムムジュンセイ ニ タイスル ゲンツェン ノ ミッツ ノ ショウメイ ニ ツイテ
|
| Romanization |
Sanjutsu no mumujunsei ni taisuru Gentsen no mittsu no shomei ni tsuite
|
|
| Creator |
| Name |
高橋, 優太
|
| Kana |
タカハシ, ユウタ
|
| Romanization |
Takahashi, Yuta
|
| Affiliation |
|
| Affiliation (Translated) |
|
| Role |
|
| Link |
|
|
| Edition |
|
| Place |
|
| Publisher |
| Name |
慶應義塾大学大学院文学研究科
|
| Kana |
ケイオウ ギジュク ダイガク ダイガクイン ブンガク ケンキュウカ
|
| Romanization |
Keio gijuku daigaku daigakuin bungaku kenkyuka
|
|
| Date |
| Issued (from:yyyy) |
2017
|
| Issued (to:yyyy) |
|
| Created (yyyy-mm-dd) |
|
| Updated (yyyy-mm-dd) |
|
| Captured (yyyy-mm-dd) |
|
|
| Physical description |
|
| Source Title |
| Name |
|
| Name (Translated) |
|
| Volume |
|
| Issue |
|
| Year |
|
| Month |
|
| Start page |
|
| End page |
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII Article ID |
|
| Ichushi ID |
|
| Other ID |
|
| Doctoral dissertation |
| Dissertation Number |
乙第4912号
|
| Date of granted |
2017-10-11
|
| Degree name |
博士(哲学)
|
| Degree grantor |
慶應義塾大学
|
|
| Abstract |
|
| Table of contents |
|
| Keyword |
|
| NDC |
|
| Note |
|
| Language |
|
| Type of resource |
|
| Genre |
|
| Text version |
|
| Related DOI |
|
| Access conditions |
|
| Last modified date |
|
| Creation date |
|
| Registerd by |
|
| History |
| May 17, 2018 | | インデックス を変更 |
| Oct 9, 2018 | | プレビュー,本文,出版者 名前,形態,言語 を変更 |
|
|
| Index |
|
| Related to |
|
