TY  - RPRT
TI  - The $Σ$_1 Provability Logic of HA
AU  - Mohammad Ardeshir
AU  - S. Mojtaba Mojtahedi
PY  - 2017
UR  - https://arxiv.org/abs/1409.5699
ID  - 1409.5699
ER  -