現代数理論理学入門

この書籍は現在お取り扱いできません。

書籍情報
シリーズ名共立全書 【553】巻
ISBN978-4-320-00553-2
判型B6 
ページ数200ページ
発行年月1977年11月
本体価格1,400円
現代数理論理学入門 書影
現代数理論理学入門

大学初年級の数学的思考を経験した人を対象に,現代数理論理学がどんな内容のものかを解説した。

目次

第1章 歴史的概観

第2章 述語論理の完全性

第3章 モデル理論

第4章 チューリング計算機と帰納的関数

第5章 ゲーデルの不完全性定理

第6章 集合論