第１部 論理式に慣れよう
第２部 証明するとは何をすることか
第３部 自然数を舞台に公理系を学ぶ
第４部 ゲーデルの定理の予告編で終わる
証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~ (知の扉)
＜マイリスト＞
＜目次＞
＜新聞書評＞
- 証明と論理に強くなる 小島寛之著 記号から論理学… (日本経済新聞 2017/01/12)
＜小島 寛之の本＞
＜こちらの本も閲覧されています＞
＜マイリスト＞
＜目次＞
＜新聞書評＞
＜小島 寛之の本＞
＜こちらの本も閲覧されています＞
