帰納的関数(共立講座現代の数学)
廣瀬 健 著
内容
目次
第1章 序論 第2章 帰納的関数と帰納的述語 第3章 不完全性定理 第4章 帰納的関数を定義する形式的体系 第5章 算術的階層 第6章 決定不可能次数 第7章 決定問題―ヒルベルトの第10問題を中心に―