中国科学院数学与系统科学研究院期刊网
论度量空间的补全法
李孝傳
ON COMPLETION OF METRIC SPACES
数学学报 . 1953, (2): 154 -165 .  DOI: 10.12386/A1953sxxb0013