TY  - RPRT
TI  - Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories
AU  - Saeed Salehi
PY  - 2016
DO  - 10.1007/s00153-012-0318-3
UR  - https://arxiv.org/abs/1110.1848
ID  - 1110.1848
ER  -