ゲーデルの完全性定理と不完全性定理を目指して初学者が着実に学びを進められるようにわかりやすく解説。
もくじ情報：第１部　論理の健全性と完全性（導入；命題論理；述語論理の形式文法；ストラクチャーとモデル；証明を形式化する；述語論理の健全性；述語倫理の完全性；コンパクト性とその応用）；第２部　不完全性定理（構文規則の厳密化；算術の体系と関数の表現；構文規則の算術化；不完全性定理）；第３部　いくつかの話題（自然演繹；直観主義論理とクリプキ意味論；超羃による超準モデルの構成；順序数と超限帰納法；集合についての補足）

嘉田　勝(カダ　マサル)
１９７０年生まれ。１９９７年大阪府立大学大学院理学系研究科博士課程修了。現在、大阪公立大学大学院理学研究科准教授。博士（理学）。専門、数理論理学（とくに公理的集合論）、集合論的位相空間論（本データはこの書籍が刊行された当時に掲載されていたものです）