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


Дегтев А.Н.
[1998]
Рекурсивно перечислимые множества и сводимости табличного типа
М., Наука
02.06.57
книга

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