Recursive metric spaces
Volume 55 / 1964
Fundamenta Mathematicae 55 (1964), 215-238
DOI: 10.4064/fm-55-3-215-238