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