Algorithmic operators in constructive metric spaces (1962)

by G S Ceĭtin
Venue:Tr. Mat. Inst. Steklov