Nerode A.,Shore R. A. ...


Nerode A., Shore R. A.
[1980]
Second-order logic and first-order theories of reducibility orderings
Proc. “The Kleene Symposium”, (Madison, Wisconsin, USA, 1979), North-Holland, 181-200
?
OS
article

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