記号論理学―その展望と限界をさぐる

著者 : リチャード・ジェフリ 戸田山和久

• マグロウヒル出版

作品紹介・あらすじ

本書は、初心者向けに書かれた記号論理学書で、命題論理から、ゲーデルの不完全性定理やチャーチ=チューリングの定理等までを取り扱っています。