数学、特に形式論理学やゲーデルの不完全性定理、圏論などに興味がある人には次のサイトが役立つと思います。 ケンブリッジ大学で長年数学、特に形式論理学や圏論を教えていたPeter Smithさんが自分の著書の多くをオープンア … 続きを読む ケンブリッジ大学出版会発行のゲーデルの定理や形式論理学、圏論への入門書がオープンアクセスで著者のサイトで公開されています！