Sur la non-contradiction de l’arithmetique”, Journal fur die reine und angewandte Mathematik , 166:1–8 (1932)

by J Herbrand
Venue:J. Hughes