書誌事項

数学基礎論入門

前原昭二著

(基礎数学シリーズ, 23)

朝倉書店, 2006.3

復刊

タイトル読み

スウガク キソロン ニュウモン

大学図書館所蔵 件 / 105

この図書・雑誌をさがす

注記

初版: 1977年刊

内容説明・目次

目次

  • 数学的理論の形式化
  • 命題論理
  • 述語論理
  • 等号をもつ述語論理
  • 型の理論
  • 自然数論
  • 自然数の関係および関数についての形式的な表現の可能性
  • ゲーデルの不完全性定理
  • 補助定理の証明
  • ゲーデルの第2不完全性定理
  • 帰納的関数
  • 帰納的関数の性質

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA7655555X
  • ISBN
    • 9784254117233
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    x, 201p
  • 大きさ
    26cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ