Recursive metric spaces, Fundamenta Mathematicae 55 (1964)

by Y N Moschovakis