Studies on intermediate predicate logics and intuitionistic modal logics 中間述語論理と直観主義的様相論理の研究

この論文をさがす

著者

    • 鈴木, 信行 スズキ, ノブユキ

書誌事項

タイトル

Studies on intermediate predicate logics and intuitionistic modal logics

タイトル別名

中間述語論理と直観主義的様相論理の研究

著者名

鈴木, 信行

著者別名

スズキ, ノブユキ

学位授与大学

東北大学

取得学位

理学博士

学位授与番号

乙第5260号

学位授与年月日

1990-03-09

注記・抄録

博士論文

各種コード

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