Characterizations of metric completeness
Volume 49 / 1984
Colloquium Mathematicum 49 (1984), 21-26
DOI: 10.4064/cm-49-1-21-26