三段論法のゲンツェン式定式化とその一階述語論理のモデルに関する完全性

この論文をさがす

著者

    • 金井, 範夫 カナイ, ノリオ

書誌事項

タイトル

三段論法のゲンツェン式定式化とその一階述語論理のモデルに関する完全性

著者名

金井, 範夫

著者別名

カナイ, ノリオ

学位授与大学

東京理科大学

取得学位

理学博士

学位授与番号

甲第115号

学位授与年月日

1988-03-20

注記・抄録

博士論文

各種コード

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