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


Nerode A., Shore R.A.
[1980]
Reducibility orderings: theories, definability and automorphisms
Ann. Math. Logic., 18, № 1, 61-89
80.12.40
OS
article

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