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


Lachlan A.H.
[1973]
The priority method for the construction of recursively enumerable sets
Lect. Notes in Math., 337, 299-310, Springer-Verlag
74.01.94
OS
article

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