Zur Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 117 (1940)

by W Ackermann
Venue:in S.R. Buss (Ed.). Handbook of Proof Theory