閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
Daichi_Hayashi_abstract	pdf	246 KB	93	論文内容の要旨
Daichi_Hayashi_review	pdf	222 KB	135	審査の要旨

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権	open access
URI	https://hdl.handle.net/2115/93289
タイトル	Formal Truth as Provability : Proof-Theoretic Studies [an abstract of dissertation and a summary of dissertation review]
	証明可能性としての形式的な真理 : 証明論的研究 [論文内容及び審査の要旨]
著者	著者名 林, 大智
言語	日本語
発行日	2024-09-25
出版者	Hokkaido University
学位授与機関	識別子 10101 機関名 北海道大学 Hokkaido University
学位授与番号	甲第16167号
学位名	博士(文学)
学位の審査委員	(主査) 教授 佐野 勝彦, 准教授 宮園 健吾, 教授 佐藤 知己, 准教授 黒川 英徳 （金沢大学）
学位審査の研究科等	文学院（人文学専攻）
資源タイプ	博士論文
出版タイプ	Version of Record
権利情報	Creative Commons Attribution 4.0 International
関連情報 (references)	HDL https://hdl.handle.net/2115/95971

ホームへ戻る