ぼくの新著『証明と論理に強くなる〜論理式の読み方から、ゲーデルの門前まで』技術評論社が書店に並んだので、このタイミングで宣伝をしようと思う。前回のエントリーもうすぐ、ぼくの論理学の本が刊行されます！ - hiroyukikojimaの日記では、目次をさらし…