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

by J Herbrand
Venue:J. Hughes