Embedding of modal predicate systems into lower predicate calculus 様相述語体系の一階述語論理への埋め込み

この論文をさがす

著者

    • 三浦, 聡 ミウラ, サトシ

書誌事項

タイトル

Embedding of modal predicate systems into lower predicate calculus

タイトル別名

様相述語体系の一階述語論理への埋め込み

著者名

三浦, 聡

著者別名

ミウラ, サトシ

学位授与大学

立教大学

取得学位

理学博士

学位授与番号

乙第76号

学位授与年月日

1984-03-31

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000041547
  • NII著者ID(NRID)
    • 8000000041622
  • NDL書誌ID
    • 000000205861
  • データ提供元
    • NDL-OPAC
ページトップへ