数学基礎論

Author(s)

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

Bibliographic Information

数学基礎論

山本新著

高文堂出版社, 1994.9

Title Transcription

スウガク キソロン

Description and Table of Contents

Table of Contents

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

by "BOOK database"

• NCID: BN11096754
• ISBN:
  • 4770704569
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: ii, 293p
• Size: 21cm
• Classification:
  • NDC8 : 410
  • NDC8 : 410.9
• Subject Headings:
  • NDLSH : 数学基礎論