Fred Richman. Intuitionistic notions of boundedness in N. Math. Log. Q., 55(1):31-36, 2009. [doi]
@article{Richman09, title = {Intuitionistic notions of boundedness in N}, author = {Fred Richman}, year = {2009}, doi = {10.1002/malq.200710072}, url = {http://dx.doi.org/10.1002/malq.200710072}, researchr = {https://researchr.org/publication/Richman09}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {55}, number = {1}, pages = {31-36}, }