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