証明と論理に強くなる -論理式の読み方から、ゲーデルの門前まで 決定版数理論理学の完全解説-
小島 寛之
知の扉シリーズ

予約数: 4
予想待ち時間: 2か月程度
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。