Sur la non-contradiction de l’arithmétique, Jounal für die reine und angewandteMathematik 166: 1–8. English translation in [Herbrand (1971)

by J Herbrand