目次
第1章 数学の形式化と一階述語論理
第2章 スコーレムの定理・完全性定理
第3章 原始帰納的関数
第4章 ゲーデルの不完全定理
-
- 電子書籍
- ビアンカ・オーバースタディ 角川文庫
-
- 電子書籍
- 面白いほど成功するツキの大原則 - お…
第1章 数学の形式化と一階述語論理
第2章 スコーレムの定理・完全性定理
第3章 原始帰納的関数
第4章 ゲーデルの不完全定理