証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~ (知の扉)

先日読了。

小島さんにしては、難しいことを難しく説明している。なぜ?