version of the consistency proof for elementary number theory (1938)

by G New Gentzen
Venue:In The Collected Papers of Gerhart Gentzen