Wolfgang Burr. Fragments of Heyting Arithmetic. Journal of Symbolic Logic, 65(3):1223-1240, 2000.
@article{Burr00,
title = {Fragments of Heyting Arithmetic},
author = {Wolfgang Burr},
year = {2000},
researchr = {https://researchr.org/publication/Burr00},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {65},
number = {3},
pages = {1223-1240},
}