Hajime Ishihara. Continuity and Nondiscontinuity in Constructive Mathematics. Journal of Symbolic Logic, 56(4):1349-1354, 1991.
@article{Ishihara91:0, title = {Continuity and Nondiscontinuity in Constructive Mathematics}, author = {Hajime Ishihara}, year = {1991}, researchr = {https://researchr.org/publication/Ishihara91%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {56}, number = {4}, pages = {1349-1354}, }