TY  - RPRT
TI  - Herbrand Consistency of Some Arithmetical Theories
AU  - Saeed Salehi
PY  - 2016
DO  - 10.2178/jsl/1344862163
UR  - https://arxiv.org/abs/1005.2654
ID  - 1005.2654
ER  -