スマリヤン数理論理学~述語論理と完全性定理~
Raymond Smullyan 著
内容
目次
第1部 無限(無限の本質 数学的帰納法 一般化帰納法、ケーニッヒの補題、コンパクト性) 第2部 1階述語論理の基礎的結果(命題論理の基礎的結果 1階述語論理:完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理 正規性定理) 第3部 公理系(公理的方法入門 命題論理の公理的方法(続き) 1階述語論理の公理系) 第4部 1階述語論理(続き)(クレイグの補間補題 ロビンソンの整合性定理 ベスの定義可能性定理 まとめ この先にあるもの)
カート
カートに商品は入っていません。