書誌事項

数学基礎論へのいざない

倉田令二朗著

(数学基礎論シリーズ / 倉田令二朗監修, 0巻)

河合文化教育研究所 , 河合出版 (発売), 1995.11

タイトル読み

スウガク キソロン エノ イザナイ

大学図書館所蔵 件 / 76

この図書・雑誌をさがす

注記

文献あり

内容説明・目次

目次

  • 1 集合に関する基本概念(集合と論理)
  • 2 無限集合
  • 3 形式主義的公理主義
  • 4 一階述語論理の諸定理
  • 5 令題論理計算
  • 6 スコーレムの定理と完全性定理
  • 7 原始帰納的関数
  • 8 ゲーデルの不完全性定理
  • 9 一般帰納的関数
  • 10 公理論的集合論

「BOOKデータベース」 より

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

詳細情報

  • NII書誌ID(NCID)
    BN13539641
  • ISBN
    • 4879999652
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    名古屋,東京
  • ページ数/冊数
    iv, 160p
  • 大きさ
    21cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ