A new proof of the consistency of arithmetic

• 1 January 1963
• book chapter
• Published by American Mathematical Society (AMS) in American Mathematical Society Translations: Series 2
• Vol. 23, 191-230
• https://doi.org/10.1090/trans2/023/08

Abstract