Библиография Лаврова И.А.


Ambos-Spies K., Nies A.
[1992]
Cappable recursively enumerable degrees and Post's program
Arch. Math. Logik Grundl., 32, № 1, 51-56
94.01.41
O
article

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