Die gegenwärtige Lage in der mathematischen Grundlagenforschung - Gentzen, Gerhard 1909-1945; Gentzen, Gerhard (Wiss. Buchges., 1969)
Enth. außerdem: Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie