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

Марченков С. С.
   Замкнутые классы булевых функций / Марченков С. С. - 2-е изд., испр. - М. : Физматлит, 2001. - 126 с. - Библиогр.: с. 119-121. - ISBN 5-9221-0132-3.

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

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

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

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

   Математическая логика и алгебра : сб. ст. / ред. Адян С. И. ; РАН. - М. : Наука. МАИК "Наука/Интерпериодика", 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.

Мендельсон Э.
   Введение в математическую логику / Мендельсон Э. ; пер. с англ. Кабаков Ф. А. ; ред. пер. Адян С. И. - М., 1971. - 320 с. : ил. - Библиогр.: с. 296-309.