On the original Gentzen consistency proof for number theory

• BERNAYS P.

収録刊行物

• Intuitionism and Proof Theory

  Intuitionism and Proof Theory 1970

  North-Holland

詳細情報

• CRID: 1571417125318675072
• NII論文ID: 10018919337
• データソース種別:
  • CiNii Articles