竹内外史

数学基礎論

2017年

新装版 集合とはなにか はじめて学ぶ人のために

2001年

直観主義的集合論

1980年