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

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

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

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

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

   Алгебра и логика : сборник научных трудов / Академия наук СССР, СО, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1991. - ISSN 0373-9252.
   Т. 30, № 6. - 1991. - С.631-772 . - Библиогр. в конце статей.

Грэй П.
   Логика, алгебра и базы данных / Грэй П. ; пер. с англ. Килов Х. И., Минц Г. Е. ; ред. пер. Орловский Г. В., Слисенко А. О. - Москва : Машиностроение, 1989. - 359 с. - Библиогр.: с.348-359. - ISBN 5-217-00178-X.

Набебин А. А.
   Логика и Пролог в дискретной математике / Набебин А. А. - Москва : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.: с.435-440. - ISBN 5-7046-0162-6.

   Алгебра и логика : сборник научных трудов / Академия наук СССР, СО, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1990. - ISSN 0373-9252.
   Т. 29, № 2. - 1990. - С.136-261 . - Библиогр. в конце статей.

   Алгебра и логика : сборник научных трудов / Академия наук СССР, СО, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1989. - ISSN 0373-9252.
   Т. 28, № 3. - 1989. - С.250-367 . - Библиогр. в конце статей.

   Алгебра и логика : сборник научных трудов / Академия наук СССР, СО, Институт математики ; гл. ред. Ершов Ю. Л. - Новосибирск, 1990. - ISSN 0373-9252.
   Т. 29, № 3. - 1990. - С.266-382 . - Библиогр. в конце статей.