Continuity and nondiscontinuity in constructive mathematics. Ishihara, H. 56(4):1349–1354, 1991.
bibtex   
@ARTICLE{Ish91a,
  author = {Ishihara, Hajime},
  title = {Continuity and nondiscontinuity in constructive mathematics},
  journal = JSL,
  year = {1991},
  volume = {56},
  pages = {1349--1354},
  number = {4},
  keywords = {bib,con}
}

Downloads: 0