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

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика. Введение в математическую логику : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 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-е изд., испр. и доп. — Москва : Издательство Юрайт, 2025. — 298 с. — (Высшее образование). — ISBN 978-5-534-08596-9.

   Проблемы конструктивного направления в математике : сборник работ / АН СССР. - Л. : Наука, 1973.
   [Сб.] 6 / ред. Шанин Н. А. - 1973. - 266 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 129). - Библиогр. в конце статей.

Балюкевич Э. Л., Ковалева Л. Ф.
   Математическая логика и теория алгоритмов : учебное пособие / Балюкевич Э. Л., Ковалева Л. Ф. - Евразийский открытый институт, 2009. - ISBN 978-5-374-00220-1.

Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 675 с. — (Высшее образование). — ISBN 978-5-534-11009-8.

Иванов, Б. Н.  Дискретная математика и теория графов : учебник для вузов / Б. Н. Иванов. — Москва : Издательство Юрайт, 2025. — 177 с. — (Высшее образование). — ISBN 978-5-534-14470-3.