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


Lerman M., Rosenstein J. G.
[1982]
Recursive linear orderings
Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 123-136
84.04.55
SG
article

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