Proof theoretical investigations for Visser's logics, classical logic and the first-order arithmetic フィッサーの論理、古典論理および一階算術に関する証明論的研究

この論文をさがす

著者

    • 石井, 克正 イシイ, カツマサ

書誌事項

タイトル

Proof theoretical investigations for Visser's logics, classical logic and the first-order arithmetic

タイトル別名

フィッサーの論理、古典論理および一階算術に関する証明論的研究

著者名

石井, 克正

著者別名

イシイ, カツマサ

学位授与大学

北陸先端科学技術大学院大学

取得学位

博士 (情報科学)

学位授与番号

甲第154号

学位授与年月日

2002-03-22

注記・抄録

博士論文

Supervisor:石原 哉

情報科学研究科

博士

2アクセス

各種コード

  • NII論文ID(NAID)
    500000230968
  • NII著者ID(NRID)
    • 8000000231471
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 000004113095
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
ページトップへ