数理論理学

論理、特に数学における論理を研究対象とする数理論理学。数理論理学の基本結果であるゲーデルの完全性定理、ゲーデルの不完全性定理、ゲンツェンのＬＫのカット除去定理などを平易に、かつ正確に説明した入門書。