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

   Математическая логика и алгоритмические проблемы: Труды института математики/АН СССР. Сибирское отделение; Отв. редактор Ю. Л. Ершов. Том 12. - 1989. - 184 с.

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

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

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

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

Меньших В. В., Пьянков О. В.
   Дискретная математика. Типовой расчет : учеб. пособие / Меньших В. В., Пьянков О. В. - Воронеж : [Изд-во] Воронеж. ин-та МВД России, 2007. - 95 с. : ил. - Библиогр.: с. 94-95.

Метакидес Г., Нероуд А.
   Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - М. : Факториал, 1998. - 288 с. : ил. - Библиогр.: с. 275-278. - ISBN 5-88688-037-2.

   Методы дискретного анализа в изучении булевых функций и графов / отв. ред. Васильев Ю. Л. - Новосибирск : Изд-во Института математики, 1989. - 107 с. - (Сборник научных трудов / Институт математики СО РАН ; вып. 48). - Библиогр. в конце статей. - ISSN 0136-1228.

Микони С. В.
   Дискретная математика для бакалавра: множества, отношения, функции, графы : учебное пособие для вузов / Микони С. В. - СПб. : Лань, 2012. - 186 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 181-182. - ISBN 978-5-8114-1386-7.

Молодцов Д. А.
   Теория мягких множеств / Молодцов Д. А. - М. : Эдиториал УРСС, 2004. - 351 с. - Библиогр.: с. 350-351. - ISBN 5-354-00810-7.