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