TY  - JOUR
AU  - Zofia Adamowicz
AU  - Konrad Zdanowski
TI  - Lower and upper bounds for the provability of Herbrand consistency
in weak arithmetics
JO  - Fundamenta Mathematicae
PY  - 2011
SP  - 191
EP  - 216
VL  - 212
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm212-3-1/
DO  - 10.4064/fm212-3-1
LA  - en
ID  - 10_4064_fm212_3_1
ER  -