双書―大数学者の数学

現代数学社さん、どうしちゃったの？

ゲーデル 不完全性発見への道 (双書―大数学者の数学)

カントル 神学的数学の原型 (双書―大数学者の数学)