386 записей
Математическая логика и алгоритмические проблемы : сборник статей / Академия наук СССР, СО ; отв. ред. Ершов Ю. Л. - Новосибирск : Наука, СО, 1989. - 184 с. - (Труды / Институт математики ; т. 12). - Библиогр. в конце статей . - ISBN 5-02-028623-0 .
Математическая логика, теория алгоритмов и теория множеств / Академия наук СССР. - Москва : Наука, 1973. - 275 с. - (Труды / Математический ин-т им. В. А. Стеклова ; т. 133). - Библиогр. в конце статей . - Посвящается П. С. Новикову к его 70-летию.
Матиясевич Ю. В.
Десятая проблема Гильберта / Матиясевич Ю. В. - Москва : Наука, 1993. - 223 с. - 93р.75к.
Десятая проблема Гильберта / Матиясевич Ю. В. - Москва : Наука, 1993. - 223 с. - 93р.75к.
Матрос Д. Ш., Поднебесова Г. Б.
Теория алгоритмов : учебник для вузов / Матрос Д. Ш., Поднебесова Г. Б. - Москва : БИНОМ. Лаборатория знаний, 2008. - 202 с. - (Педагогическое образование). - Библиогр.:с.196-197 . - ISBN 978-5-94774-226-8 .
Теория алгоритмов : учебник для вузов / Матрос Д. Ш., Поднебесова Г. Б. - Москва : БИНОМ. Лаборатория знаний, 2008. - 202 с. - (Педагогическое образование). - Библиогр.:
Мендельсон Э.
Введение в математическую логику / Мендельсон Э. ; пер. с англ. Кабаков Ф. А. ; ред. пер. Адян С. И. - Москва, 1971. - 320 с. : ил. - Библиогр.:с.296-309 .
Введение в математическую логику / Мендельсон Э. ; пер. с англ. Кабаков Ф. А. ; ред. пер. Адян С. И. - Москва, 1971. - 320 с. : ил. - Библиогр.:
Меньших В. В., Пьянков О. В.
Дискретная математика. Типовой расчет : учеб. пособие / Меньших В. В., Пьянков О. В. - Воронеж : [Изд-во Воронежского института МВД России], 2007. - 95 с. : ил. - Библиогр.:с.94-95 .
Дискретная математика. Типовой расчет : учеб. пособие / Меньших В. В., Пьянков О. В. - Воронеж : [Изд-во Воронежского института МВД России], 2007. - 95 с. : ил. - Библиогр.:
Метакидес Г., Нероуд А.
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - Москва : Факториал, 1998. - 288 с. : ил. - Библиогр.:с.275-278 . - ISBN 5-88688-037-2 .
Принципы логики и логического программирования : [учебное пособие] / Метакидес Г., Нероуд А. ; пер. с англ. Захаров В. А., Селезнева С. Н., Спануполо В. В. ; ред. пер. Садовничий В. А., Захаров В. А. - Москва : Факториал, 1998. - 288 с. : ил. - Библиогр.:
Методы дискретного анализа в изучении булевых функций и графов / отв. ред. Васильев Ю. Л. - Новосибирск : Изд-во Института математики, 1989. - 107 с. - (Сборник научных трудов / Институт математики СО РАН ; вып. 48). - Библиогр. в конце статей . - ISSN 0136-1228 .
Микони С. В.
Дискретная математика для бакалавра: множества, отношения, функции, графы : учебное пособие для вузов / Микони С. В. - Санкт-Петербург : Лань, 2012. - 186 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.:с.181-182 . - ISBN 978-5-8114-1386-7 .
Дискретная математика для бакалавра: множества, отношения, функции, графы : учебное пособие для вузов / Микони С. В. - Санкт-Петербург : Лань, 2012. - 186 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.:
