『証明と論理に強くなる — 論理式の読み方から，ゲーデルの門前まで』(小島 寛之. 技術評論社, 2017)を購入した…