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
- 戸次大介 [著]
- Author Heading
- 戸次, 大介 ベッキ, ダイスケ
- Publication, Distribution, etc.
- Publication Date
- [2000]
- Publication Date (W3CDTF)
- 2000
- Extent
- 1冊
- Alternative Title
- 構成的言語理論のための型付き動的論理 コウセイテキ ゲンゴ リロン ノ タメ ノ カタツキ ドウテキ ロンリ
- Degree grantor/type
- 東京大学