This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
Search computability and computability with numberings are equivalent in the case of finite set of objects
Angel V. Ditchev
pp. 233-242
Not implemented yet !