Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
KO10001002-20174912-0001.pdf
Type |
:application/pdf |
Download
|
Size |
:192.0 KB
|
Last updated |
:May 17, 2018 |
Downloads |
: 341 |
Total downloads since May 17, 2018 : 341
|
|
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 |
|
Index |
|
Related to |
|