書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- 佐藤雅彦 [著]
- 著者標目
- 佐藤, 雅彦 サトウ, マサヒコ
- 数量
- 冊
- 並列タイトル等
- いくつかの様相論理に対するクリプケ模型のゲンツェンシークエント法による研究 イクツカ ノ ヨウソウ ロンリ ニ タイスル クリプケ モケイ ノ ゲンツェン シークエントホウ ニ ヨル ケンキュウ
- 授与機関名
- 京都大学
- 授与年月日
- 昭和52年3月23日
- 授与年月日（W3CDTF）
- 1977
- 報告番号
- 乙第3264号