目次
証明を対象にするとは
自然演繹
論理式の真理値
自然演繹の健全性
自然演繹の完全性
不完全性定理
命題論理
さまざまな証明体系
シークエント計算ＬＫのカット除去
直観主義論理
クリプキモデルと中間論理
本文中で使われている数学的道具の説明
著者等紹介
鹿島亮［カシマリョウ］
１９６５年東京都に生まれる。１９９１年東京工業大学大学院理工学研究科博士課程中退。現在、東京工業大学大学院情報理工学研究科数理・計算科学専攻、准教授。博士（理学）（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
