証明と論理に強くなる

• タイトルヨミ: ショウメイトロンリニツヨクナル
• サブタイトル: 論理式の読み方から、ゲーデルの門前まで 決定版数理論理学の完全解説
• サブタイトルヨミ: ロンリシキノヨミカタカラゲーデルノモンゼンマデ ケッテイバンスウリロンリガクノカンゼンカイセツ
• シリーズ名: 知の扉シリーズ／
• シリーズ名ヨミ: チノトビラシリーズ
• 著編者等／著者名等: 小島寛之‖著
• 統一著者名: 小島寛之
• 著編者等ヨミ／著者名等ヨミ: コジマヒロユキ
• 出版者: 技術評論社
• 出版地: 東京
• 出版年: 2017.2
• 大きさ: 351p
• 件名: 記号論理学 証明(数学)
• 分類: 410.96,410.96 410.96
• ISBN: 978-4-7741-8664-1
• マークNo: TRC000000017000613
• タイトルコード: 1000001010071
• 資料番号: 00000000000009207242
• 請求記号: 410.96/ｺｼ ｼ
• 内容紹介: たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
• 種別: 図書
• 配架場所: 03141