Die gegenwärtige Lage in der mathematischen Grundlagenforschung Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie - Gentzen, Gerhard (Libelli, 1969)