On formally undecidable proposition of principia mathematica and related systems I.

• GODEL K.

収録刊行物

• Kurt Godel: Collected works.

  Kurt Godel: Collected works. 1986

  Oxford University Press

詳細情報

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