Murawski, Roman, cLeibniz9s and Kans Philosophical Ideas and the Development of Hilbers Programmed, Logique et Analyse (N.S.) 45 (2002), 4213437
V. Peckhaus, Mathematical Reviews, M81800 (2005d:00008) (2005).