Расширенный поиск

Марченков С. С.
   Рекурсивные функции / Марченков С. С. - М. : Физматлит, 2007. - 62 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6.

Марченков С. С., Савицкий И. В.
   Машины в теории вычислимых функций : учебное пособие / Марченков С. С., Савицкий И. В. - М. ; Вологда : Инфра-Инженерия, 2024. - 102 с. - Библиогр.: с. 101-102. - ISBN 978-5-9729-2057-0.

Марченков С. С.
   Элементарные рекурсивные функции / Марченков С. С. - М. : Изд-во МЦНМО, 2003. - 111 с. - Библиогр.: с. 109-111. - ISBN 5-94057-098-4.

Мастихина А. А.
   Формальные языки и автоматы [Электрон. ресурс] : метод. указ. к выполнению домашнего задания по дискретной матемаике / Мастихина А. А. ; ред. Исмагилов Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2012. - 1 CD-ROM. - ФГУП "Информрегистр" №0321202495.

   Математика. Механика. Информатика : труды конференции, посвященной 10-летию РФФИ. - М. : Физматлит, 2005. - 501 с. : ил. - Библиогр. в конце ст. - ISBN 5-9221-0570-1.

   Математическая логика : учебное пособие педагогических институтов / Латотин Л. А., Макаренков Ю. А., Николаева В. В., Столяр А. А. ; общ. ред. Столяр А. А. - Минск : Вышэйшая школа, 1991. - 269 с. : ил. - Библиогр.: с. 260. - ISBN 5-339-00342-6.

   Математическая логика и алгебра : сб. ст. / ред. Адян С. И. ; РАН. - М. : Наука : МАИК "Наука/Интерпериодика", 2003. - 207 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 242). - Библиогр. в конце ст. - ISBN 5-02-032604-6.

   Математическая логика, теория алгоритмов и теория множеств / АН СССР. - М. : Наука, 1973. - 275 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 133). - Библиогр. в конце статей. - Посвящается П. С. Новикову к его 70-летию.

Матиясевич Ю. В.
   Десятая проблема Гильберта / Матиясевич Ю. В. - М. : Наука, 1993. - 223 с. - 93р. 75к.

Матрос Д. Ш., Поднебесова Г. Б.
   Теория алгоритмов : учебник для вузов / Матрос Д. Ш., Поднебесова Г. Б. - М. : БИНОМ. Лаборатория знаний, 2008. - 202 с. - (Педагогическое образование). - Библиогр.: с. 196-197. - ISBN 978-5-94774-226-8.