Ambos-Spies K., Nies A., Shore R.A. ...


Ambos-Spies K., Nies A., Shore R.A.
[1992]
The theory of the recursively enumerable weak truth-table degrees is undecidable
J. Symbolic Logic, 57, № 3, 864-874
93.04.51
O
article

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