数学基礎論入門
著者
書誌事項
数学基礎論入門
(基礎数学シリーズ, 23)
朝倉書店, 2006.3
復刊
- タイトル読み
-
スウガク キソロン ニュウモン
大学図書館所蔵 件 / 全105件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
初版: 1977年刊
内容説明・目次
目次
- 数学的理論の形式化
- 命題論理
- 述語論理
- 等号をもつ述語論理
- 型の理論
- 自然数論
- 自然数の関係および関数についての形式的な表現の可能性
- ゲーデルの不完全性定理
- 補助定理の証明
- ゲーデルの第2不完全性定理
- 帰納的関数
- 帰納的関数の性質
「BOOKデータベース」 より