Sendai Logic Group - ロジックおすすめ本の紹介ロジックおすすめ本の紹介 お知らせ 現在, おすすめ本の紹介を募集しています. ご協力くださる方は, 連絡先へお願い致します. 概要 はじめに このページは, おそらく独学の人が多いであろう, ロジック(数学基礎論, 数理論理学. 当ページではロジックに統一します)初心者の方のために, 研究者または大学院生によるおすすめ本の紹介を集めています. ロジックを学びたいが, どんな本を読んだら良いかわからない. 興味は定まったが, どんな本があるのかよく知らない. 1冊読み終わったが, どんな本を読めば次のステップとして良いのかわからない. という人を主な対象としていますが, それ以外の人にもきっと役に立つと思います. 分類 ロジックには, 証明論, モデル理論, 計算理論, 集合論の4大分野があります. 当ページはそれに従い, 分野毎の紹介としてまとめています. また, どれにも当てはまらない
