Bibliographic Information

数学基礎論へのいざない

倉田令二朗著

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

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

Title Transcription

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

Available at  / 76 libraries

Note

文献あり

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Related Books: 1-1 of 1

Details

  • NCID
    BN13539641
  • ISBN
    • 4879999652
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    名古屋,東京
  • Pages/Volumes
    iv, 160p
  • Size
    21cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top