- Louis Couturat La logique de Leibniz: D'après des documents inédits, Georg Olms, 1985 (First Published in 1901)
- Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited, Cambridge University Press, 2009
Couturat さんの本は、hard ならまだ新品で手に入るようです。今回私はその hard を入手しました。