Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- Ryota Akiyoshi [著]
- Author Heading
- 秋吉, 亮太 アキヨシ, リョウタ
- Publication, Distribution, etc.
- Publication Date
- [2010]
- Publication Date (W3CDTF)
- 2010
- Extent
- 1冊
- Alternative Title
- タイプ理論と二階算術の部分体系の証明論的探究 タイプ リロン ト ニカイ サンジュツ ノ ブブン タイケイ ノ ショウメイロンテキ タンキュウ
- Degree grantor/type
- 慶應義塾大学