入門数学基礎論

著者

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

書誌事項

入門数学基礎論

倉田令二朗著

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

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

タイトル読み

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

内容説明・目次

目次

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

「BOOKデータベース」 より

• NII書誌ID(NCID): BN13807332
• ISBN:
  • 4879999660
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 名古屋,東京
• ページ数/冊数: iii, 183p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.9
  • NDC7 : 410.1
• 件名:
  • BSH : 数学基礎論
• 親書誌ID:
  • BN13539696