内容説明
本書は現代論理学における基本的なトピックをえらび、それを概説したもので、内容的にはＧ¨ｏｄｅｌの不完全定理までを含んでいる。
目次
第１章 命題論理学（トートロジー；自然推論；公理系）
第２章 述語論理学（自然推論；公理系；解釈、モデル、完全性）
第３章 形式的数論
第４章 帰納的関数
第５章 不完全性定理
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
みょん
1
正直分かりやすいとは言えないが、完全性定理と不完全性定理のどちらにも言及してあり、上手くまとまってはいる。(証明もそこそこ厳密)2013/01/30
Nabe
0
命題論理学 授業2021/01/07
