5 записей
Верещагин Н. К., Шень А.
Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - М. : МЦНМО, 1999. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 1999. - 173 с. - Библиогр.:с. 166-167 . - ISBN 5-900916-39-1 .
Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - М. : МЦНМО, 1999. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 1999. - 173 с. - Библиогр.:
Верещагин Н. К., Шень А.
Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - 3-е изд., стер. - М. : Изд-во МЦНМО, 2008. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2008. - 189 с. - Библиогр.:с. 179-180 . - ISBN 978-5-94057-323-4 .
Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - 3-е изд., стер. - М. : Изд-во МЦНМО, 2008. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2008. - 189 с. - Библиогр.:
Марченков С. С.
Рекурсивные функции / Марченков С. С. - М. : Физматлит, 2007. - 62 с. - (Популярные лекции по математике). -ISBN 978-5-9221-0825-6 .
Рекурсивные функции / Марченков С. С. - М. : Физматлит, 2007. - 62 с. - (Популярные лекции по математике). -
Марченков С. С., Савицкий И. В.
Машины в теории вычислимых функций : учебное пособие / Марченков С. С., Савицкий И. В. - М. ; Вологда : Инфра-Инженерия, 2024. - 102 с. - Библиогр.:с. 101-102 . - ISBN 978-5-9729-2057-0 .
Машины в теории вычислимых функций : учебное пособие / Марченков С. С., Савицкий И. В. - М. ; Вологда : Инфра-Инженерия, 2024. - 102 с. - Библиогр.:
Марченков С. С.
Элементарные рекурсивные функции / Марченков С. С. - М. : Изд-во МЦНМО, 2003. - 111 с. - Библиогр.:с. 109-111 . - ISBN 5-94057-098-4 .
Элементарные рекурсивные функции / Марченков С. С. - М. : Изд-во МЦНМО, 2003. - 111 с. - Библиогр.: