%0 Journal Article
%A Zofia Adamowicz
%T Herbrand consistency and bounded arithmetic
%J Fundamenta Mathematicae
%D 2002
%P 279-292
%V 171
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm171-3-7/
%R 10.4064/fm171-3-7
%G en
%F 10_4064_fm171_3_7