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

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

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

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

   Математическая логика и алгоритмические проблемы : сборник статей / Академия наук СССР, Сибирское отделение ; отв. ред. Ершов Ю. Л. - Новосибирск : Наука, Сибирское отделение, 1989. - 184 с. - (Труды / Институт математики ; т. 12). - Библиогр. в конце статей. - ISBN 5-02-028623-0.

   Математическая логика, теория алгоритмов и теория множеств / АН СССР. - М. : Наука, 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.