数学基礎論

著者

• 山本, 新 ヤマモト, シン

書誌事項

数学基礎論

山本新著

高文堂出版社, 1994.9

タイトル読み

スウガク キソロン

内容説明・目次

目次

• 第１章　第１階の理論（言語；公理と変形規則；演繹定理；トートロジー定理　ほか）
• 第２章　自然数論（再帰的関数と再帰的述語；自然数論の形式的体系Ｎ；メタ数学の算術化；表現可能性　ほか）
• 第３章　集合論（集合論の公理；関係と関数；順序数；超限帰納法の原理　ほか）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN11096754
• ISBN:
  • 4770704569
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: ii, 293p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410
  • NDC8 : 410.9
• 件名:
  • NDLSH : 数学基礎論