Some applications of non-standard analysis to proximity spaces
Tom 34 / 1975
Colloquium Mathematicum 34 (1975), 17-24
DOI: 10.4064/cm-34-1-17-24