TY  - JOUR
AU  - J. Herbrand
TI  - Sur la non-contradiction de l'Arithmétique.
JO  - Journal für die reine und angewandte Mathematik
PY  - 1932
SP  - 1
EP  - 8
VL  - 166
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JRAM_1932__166_183478/
ID  - JRAM_1932__166_183478
ER  -