文献一覧に竹内外史『現代集合論入門』を追加。

論理と集合論のビブリオグラフィーに竹内外史『現代集合論入門』を追加。