>>682 いわゆる名著分類になってたのだと

「証明論入門」 竹内 外史
「連続群論入門」 山内 恭彦, 杉浦 光夫