数学基礎論

山本 新【著】

高文堂出版社（1994/09発売）

• サイズ A5判／ページ数 293p／高さ 21cm
• 商品コード 9784770704566
• NDC分類 410.9
• Cコード C3041

目次

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