Lempp S. ...


Lempp S.
[1998]
Decidability and undecidability in the enumerable Turing degrees
Proc. 6 Asian Logic Conf. (Beijing , China, 1998), 151-161 World Scientific, Singapore Univ. Press
?
article

Вернуться к поиску