【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

A study of Kripke-type models for some modal logics by Gentzen's sequential method いくつかの様相論理に対するクリプケ模型のゲンツェンシークエント法による研究

この論文をさがす

著者

    • 佐藤, 雅彦 サトウ, マサヒコ

書誌事項

タイトル

A study of Kripke-type models for some modal logics by Gentzen's sequential method

タイトル別名

いくつかの様相論理に対するクリプケ模型のゲンツェンシークエント法による研究

著者名

佐藤, 雅彦

著者別名

サトウ, マサヒコ

学位授与大学

京都大学

取得学位

理学博士

学位授与番号

乙第3264号

学位授与年月日

1977-03-23

注記・抄録

博士論文

各種コード

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