論理的に考えるとはどういうこと？証明するってどういうこと？という問いに簡潔に答える論理と証明のための徹底解説本です．論理に強くなるためには，論理記号に対するアレルギーを克服することが第一です．本書は，「かつ」「ならば」などの基本的な論理記号からまず入ります．論理記号や論理式には解釈を逐語訳のように併記するので，臆することなく読み進めてもらえます．そして数学の問題で出てきた「証明」の考え方へと話を進めます．論理と証明の考え方を習得することがゲーデル不完全性定理の理解につながることにも言及します．

論理式が難しく思えるのは単に慣れていないからだった！たった６個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。
もくじ情報：第１部　論理式に慣れよう；第２部　証明するとは何をすることか；第３部　自然数を舞台に公理系を学ぶ；第４部　ゲーデルの定理の予告編で終わる

小島　寛之(コジマ　ヒロユキ)
１９５８年東京都生まれ。東京大学理学部数学科卒業。同大学院経済学研究科博士課程単位取得退学。経済学博士。現在、帝京大学経済学部経済学科教授。専攻は数理経済学、意志決定理論。数学エッセイストとしても多方面で活躍しており、そのわかりやすい語り口には文系・理系の読者を問わず定評がある（本データはこの書籍が刊行された当時に掲載されていたものです）