New version of the consistency proof for elementary number theory (1969)

by G Gentzen
Venue:Collected Papers of Gerhard Gentzen. NorthHolland