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

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика. Дополнительные главы : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - Москва : URSS : Едиториал УРСС, 2013. - 236 с. - (Классический университетский учебник). - Библиогр.: с.227-228. - ISBN 978-5-354-01446-0.

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика. Введение в математическую логику : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - Москва : URSS : Едиториал УРСС, 2013. - 233 с. - (Классический университетский учебник). - Библиогр.: с.224. - ISBN 978-5-354-01447-7.

   Исследования по конструктивной математике и математической логике : сборник работ / РАН. - Санкт-Петербург : Наука, 1995. - (Записки научных семинаров ПОМИ / Математический ин-т им. В. А. Стеклова, Санкт-Петербургское отд-ние ; т. ...).
   Вып. 9 : посвящается 75-летию Н. А. Шанина / ред. Даницин Е. Я., Оревков В. П. - 1995. - 148 с. - (... ; т. 220). - Библиогр. в конце статей. - ISBN 5-02-024811-8.

Успенский В. А.
   Теорема Гёделя о неполноте / Успенский В. А. - Москва : Наука, 1982. - 110 с. - (Популярные лекции по математике ; вып. 57). - Библиогр.: с.6.

Гончаров С. С., Ершов Ю. Л.
   Конструктивные модели / Гончаров С. С., Ершов Ю. Л. ; РАН. СО. Ин-т математики, Новосибирский государственный университет, Институт дискретной математики и информатики. - Новосибирск : Научная книга, 1999. - 345 с. - (Сибирская школа алгебры и логики ; [вып.] 6). - Библиогр.: с.321-345. - ISBN 5-88119-021-1.

Лихтарников Л. М., Сукачева Т. Г.
   Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 4-е изд., стер. - Санкт-Петербург : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с.273. - ISBN 978-5-8114-0082-9.

Никишечкин, А. П.  Дискретная математика и дискретные системы управления : учебник для вузов / А. П. Никишечкин. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2026. — 298 с. — (Высшее образование). — ISBN 978-5-534-08596-9.

Вечтомов, Е. М.  Математика: логика, теория множеств и комбинаторика : учебник для среднего профессионального образования / Е. М. Вечтомов, Д. В. Широков. — 2-е изд. — Москва : Издательство Юрайт, 2026. — 176 с. — (Профессиональное образование). — ISBN 978-5-534-20661-6.

Гашков, С. Б.  Алгоритмы дискретной оптимизации : учебник для вузов / С. Б. Гашков. — Москва : Издательство Юрайт, 2026. — 134 с. — (Высшее образование). — ISBN 978-5-534-21996-8.

Нигматуллин Р. Г.
   Нижние оценки сложности и сложность универсальных схем : монография / Нигматуллин Р. Г. - Казань : Изд-во Казанского ун-та, 1990. - 109 с. - Библиогр.: с.100-107. - ISBN 5-7464-0187-0.