Рекурсивно перечислимые множества и сводимости табличного типакнига

Работа с книгой


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

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть