Degen, J.W., cTwo Formal Vindications of Logicismd, in: Czermak (Hg.) 1993 [Zbl. 0836.00022], 2433250
V. Peckhaus, zbMATH Open, Zbl. 0838.03004 (1996).