数学基礎論入門 (基礎数学シリーズ)

• Author(s): 前原昭二,
• Publisher: 朝倉書店
• Pages: 216
• ISBN_10: 4254118651
  ISBN_13: 9784254118650
  
• Language: ja

Description:... 不完全性定理についてのゲーデルの理論を入門的かつ精密に紹介。〔内容〕数学的理論の形式化/命題論理/述語論理/等号をもつ述語論理/型の理論/自然数論/自然数の関係と関数についての形式的表現の可能性/ゲーデルの不完全性定理/他。初版1977年6月1日刊。