RUS
ENG
Full version
PEOPLE
Nadyrov R F
Publications in Math-Net.Ru
A criterion for the completeness of recursively enumerable sets, and some generalizations of a fixed point theorem
Izv. Vyssh. Uchebn. Zaved. Mat.
, 1977, no. 4,
3–7
©
Steklov Math. Inst. of RAS
, 2024
