本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。
An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions
Available in National Diet Library
Find on the publisher's website
国立国会図書館デジタルコレクション
Digital data available
Search by Bookstore
Read this material in an accessible format.
Table of Contents
2023-12-08 再収集
2023-12-08 再収集
2023-12-08 再収集
Search by Bookstore
Read in Disability Resources
- Other Services
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
- Sato, Masahiro佐藤, 雅大
- Author Heading
- Publication Date
- 2015-03-25
- Publication Date (W3CDTF)
- 2015-03-25
- Alternative Title
- ECCの直観主義的な集合論的モデルの構築について
- Degree grantor/type
- 名古屋大学
- Date Granted
- 2015-03-25
- Date Granted (W3CDTF)
- 2015-03-25