論理的推論に関する研究-2-

• G. Gentzen

• 田村 三郎

書誌事項

タイトル別名

• ロンリテキ スイロン ニカンスルケンキュウ 2

抄録

記事分類: 数学

収録刊行物

• 山口大学教養部紀要 人文科学篇 / 山口大学教養部 編

  山口大学教養部紀要 人文科学篇 / 山口大学教養部 編 (13), p21-40, 1979-10

  [山口] : 山口大学教養部

詳細情報

• CRID: 1520853832372041728
• NII論文ID: 40004238208
• NII書誌ID: AN0024416X
• ISSN: 03874079
• NDL書誌ID: 2160962
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I2160962
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZV1(一般学術誌--一般学術誌・大学紀要)
• データソース種別:
  • NDL
  • CiNii Articles