ツイッターで見かけて気になったので読んだ。 証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~ (知の扉)作者: 小島寛之出版社/メーカー: 技術評論社発売日: 2017/01/11メディア: 単行本（ソフトカバー）この商品を含むブログ (2件) を見る 1…