ゲンツェンの定理と高階の述語論理

• 永島 孝

書誌事項

タイトル別名

• Gentzen's Theorem and Predicate Logic of Higher Order
• ゲンツェン ノ テイリ ト コウカイ ノ ジュツゴ ロンリ

抄録

論文タイプ||研究ノート

収録刊行物

• 一橋論叢

  一橋論叢 61 (3), 322-329, 1969-03-01

  日本評論社

詳細情報

• CRID: 1390290699841001984
• NII論文ID: 110007638233
• NII書誌ID: AN00208224
• DOI: 10.15057/2533
• HANDLE: 10086/2533
• NDL書誌ID: 934258
• ISSN: 00182818
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I934258
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • IRDB
  • NDL
  • CiNii Articles