Embedding of modal predicate systems into lower predicate calculus 様相述語体系の一階述語論理への埋め込み
この論文をさがす
著者
書誌事項
- タイトル
-
Embedding of modal predicate systems into lower predicate calculus
- タイトル別名
-
様相述語体系の一階述語論理への埋め込み
- 著者名
-
三浦, 聡
- 著者別名
-
ミウラ, サトシ
- 学位授与大学
-
立教大学
- 取得学位
-
理学博士
- 学位授与番号
-
乙第76号
- 学位授与年月日
-
1984-03-31
注記・抄録
博士論文