ゲーデルの無矛盾性証明

著者

• 山岡, 謁郎 ヤマオカ, エツロウ

書誌事項

ゲーデルの無矛盾性証明

山岡謁郎著

三重学術出版会, 1994.9

タイトル読み

ゲーデル ノ ムムジュンセイ ショウメイ

注記

参考文献: p265-267

詳細情報

• NII書誌ID(NCID): BN12014427
• ISBN:
  • 4944068034
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 津
• ページ数/冊数: 275p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.9