NELSON, L. Beiträge zur Philosophie der Logik und Mathematik. Mit einführenden und ergänzenden Bemerkungen von Wilhelm Ackerman, Paul Bernays, David Hilbert. Hamburg, Meiner, 1959.