帰納的関数と述語
著者
書誌事項
帰納的関数と述語
（数学基礎論シリーズ / 倉田令二朗監修, 5巻）
河合文化教育研究所 , 河合出版 (発売), 1997.5
- タイトル読み
-
キノウテキ カンスウ ト ジュツゴ
大学図書館所蔵 件 / 全64件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p182-183
内容説明・目次
目次
- 第０章 自然数
- 第１章 計算可能性
- 第２章 帰納的可算集合
- 第３章 算術的述語
- 第４章 Ｈｉｌｂｅｒｔの第１０問題
- 第５章 抽象的計算量
- 第６章 Ｔｕｒｉｎｇ次数
「BOOKデータベース」 より