2017-04-11 証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~ (知の扉) 先日読了。証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~ (知の扉)作者: 小島寛之出版社/メーカー: 技術評論社発売日: 2017/01/11メディア: 単行本(ソフトカバー)この商品を含むブログ (3件) を見る小島さんにしては、難しいことを難しく説明している。なぜ?