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


Watnick R.
[1984]
A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
J. Symbolic Logic, 49, № 2, 563-569
85.01.62
G
article

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