Изменения

Перейти к: навигация, поиск

M-сводимость

1 байт убрано, 07:31, 25 декабря 2011
Нет описания правки
* ''Верещагин Н., Шень А.'' — '''Вычислимые функции''', 2-е изд. МЦНМО, 2002. ISBN 5-900916-36-7
* ''P. Odifreddi'' — '''Classical recursion theory'''. Elsivier, 1992. ISBN 0-444-87295-7
 
{{Заголовок со строчной буквы}}
65
правок

Навигация