%0 Journal Article %A Roman Sikorski %T On Herbrand's theorem %J Colloquium Mathematicum %D 1958 %P 55-59 %V 6 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/cm-6-1-55-59/ %R 10.4064/cm-6-1-55-59 %G de %F 10_4064_cm_6_1_55_59