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
- 佐藤, 雅彦 サトウ, マサヒコ
- Extent
- 冊
- Alternative Title
- いくつかの様相論理に対するクリプケ模型のゲンツェンシークエント法による研究 イクツカ ノ ヨウソウ ロンリ ニ タイスル クリプケ モケイ ノ ゲンツェン シークエントホウ ニ ヨル ケンキュウ
- Degree grantor/type
- 京都大学
- Date Granted
- 昭和52年3月23日
- Date Granted (W3CDTF)
- 1977
- Dissertation Number
- 乙第3264号