数の体系と超準モデル

田中一之 著

[目次]

• 等式の体系
• 計算の理論
• 述語論理
• モデルの理論
• 自然数論(形式体系編
• 超準モデル編)
• 実数論(代数編
• 解析編)

「BOOKデータベース」より