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
- 昭和55年5月23日
- Date Granted (W3CDTF)
- 1980
- Dissertation Number
- 乙第4190号