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


Yang Dong Ping
[1984]
On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0/
J. Symbolic Logic, 49, № 2, 488-502
85.01.49
article

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