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


Цейтин Г.С.
[1964]
Один способ изложения теории алгоритмов и перечислимых множеств
Труды Мат. ин-та АН СССР, 72, 69-98
66.04.31
статья

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