Изменения

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

19 байт добавлено, 04:15, 25 декабря 2011

→‎Литература

}}

== Литература ==

* ''Верещагин Н., Шень А.'' — '''Вычислимые функции''', 2-е изд. МЦНМО, 2002.ISBN 5-900916-36-7

* ''P. Odifreddi'' — '''Classical recursion theory'''. Elsivier, 1992. ISBN 0-444-87295-7

65

правок