Search computability and computability with numberings are equivalent in the case of finite set of objects

1987

Angel V. Ditchev

in: Mathematical logic and its applications, Berlin,