証明論入門復刊

「証明論入門」（共立出版）が復刊された。もとの紙面の複写らしい。そういう技術が発達したので、これからは絶版になっていた本の復刊が進むだろう。。有名な近世数学史談・数学雑談（高木貞治）の復刻版も出た。もっともProject EuclidやProject Gutenbergのような電子化はもっとありがたい。気になることがあればすぐに調べられる。内容の検索も容易だ。