Liu S.C. ...


Liu S.C.
[1963]
A note on many-one reducibility
J. Symbolic Logic, 28, № 1, 35-42
66.03.57
article

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