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


Carroll J.S.
[1986]
Some undecidability results for lattices in recursion theory
Pacif. J. Math., 122, № 2, 319-331
86.12.63
article

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