書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- 著者・編者
- 三浦聡 [著]
- 著者標目
- 三浦, 聡 ミウラ, サトシ
- 数量
- 冊
- 並列タイトル等
- 様相述語体系の一階述語論理への埋め込み ヨウソウ ジュツゴ タイケイ ノ イッカイ ジュツゴ ロンリ エ ノ ウメコミ
- 授与機関名
- 立教大学
- 授与年月日
- 昭和59年3月31日
- 授与年月日（W3CDTF）
- 1984
- 報告番号
- 乙第76号
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。