入門数学基礎論

Author(s)

• 倉田, 令二朗 クラタ, レイジロウ

Bibliographic Information

入門数学基礎論

倉田令二朗著

（数学基礎論シリーズ / 倉田令二朗監修, 1巻）

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

Title Transcription

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

Description and Table of Contents

Table of Contents

• 第１章　数学の形式化と一階述語論理
• 第２章　スコーレムの定理・完全性定理
• 第３章　原始帰納的関数
• 第４章　ゲーデルの不完全定理

by "BOOK database"

Details

• NCID: BN13807332
• ISBN:
  • 4879999660
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 名古屋,東京
• Pages/Volumes: iii, 183p
• Size: 21cm
• Classification:
  • NDC8 : 410.9
  • NDC7 : 410.1
• Subject Headings:
  • BSH : 数学基礎論
• Parent Bibliography ID:
  • BN13539696