Die Widerspruchsfreiheit der reinen Zahlentheorie (1936)

by G Gentzen
Venue:Zbl 0014.38801. MR