Continuity and Nondiscontinuity in Constructive Mathematics

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},
}