数学基礎論入門

Author(s)

• 前原, 昭二 マエハラ, ショウジ

Bibliographic Information

数学基礎論入門

前原昭二著

（基礎数学シリーズ, 23）

朝倉書店, 2006.3

復刊

Title Transcription

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

Access to Electronic Resource 2 items

• 数学基礎論入門

  2006.3.

  Maruzen eBook Library

• 数学基礎論入門

  2006

  EBSCO eBooks

Note

初版: 1977年刊

Description and Table of Contents

Table of Contents

• 数学的理論の形式化
• 命題論理
• 述語論理
• 等号をもつ述語論理
• 型の理論
• 自然数論
• 自然数の関係および関数についての形式的な表現の可能性
• ゲーデルの不完全性定理
• 補助定理の証明
• ゲーデルの第２不完全性定理
• 帰納的関数
• 帰納的関数の性質

by "BOOK database"

Details

• NCID: BA7655555X
• ISBN:
  • 9784254117233
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: x, 201p
• Size: 26cm
• Classification:
  • NDC8 : 410.9
  • NDC9 : 410.9
• Subject Headings:
  • BSH : 数学基礎論
• Parent Bibliography ID:
  • BA70348789