1. Wilhelm Ackermann. Letter to David Hilbert, August 23rd, 1933, Niedersächsische Staatsund Universitätsbibliothek Göttingen, Cod. Ms. D. Hilbert 1.
2. Oskar Becker. Mathematische Existenz. M. Niemeyer, 1927.
3. Wilfried Buchholz. Schütte, Kurt Wilhelm. In Neue Deutsche Biographie (NDB), volume 23, pages 653–654. Duncker & Humblot, Berlin, 2007.
4. Thierry Coquand and Stefan Neuwirth. An introduction to Lorenzen’s “Algebraic and logistic investigations on free lattices” (1951). arXiv: 1711.06139v1 [math.LO], 2017.
5. Solomon Feferman. Introductory note to [Gödel 1931c]. In S. Feferman et al., editors, Kurt Gödel: Collected works, I: Publications 1929–1936, pages 208–213. Oxford University Press, 1986.