Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 195–205 - Peckhaus, Volker (zbMATH Open, Zbl. 0849.00016)