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

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств : сборник статей / отв. ред. Смирнов В. А. - 1995. - 129 с. - Библиогр. в конце кн. - ISBN 5-02-006896-9.

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 3 : Доказательство и его поиск. (Курс логики и компьютерный практикум) : монография / Смирнов В. А., Новодворский А. Е., Смирнов А. В. ; отв. ред. Смирнов В. А. - 1996. - 254 с. + дискета. - ISBN 5-02-013603-4.

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 4 : Многозначные логики : монография / Карпенко А. С. ; отв. ред. Макаров И. М. - 1997. - 222 с. - Библиогр.: с. 180-213. - ISBN 5-02-013628-X.

   Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; Российская академия наук ; авт. предисл. Макаров И. М. ; науч. ред. Смирнова Е. Д. - М. : Наука, 1990. - 238 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-237. - ISBN 5-02-007156-0.

   Логические и логико-математические исчисления : сборник работ / АН СССР. - Л. : Наука, Ленинградское отделение, 1968. - (Труды/Математический институт им. В. А. Стеклова; т...).
   Сб. 2. - 1972. - 165 с. - (... ; т. 121). - Библиогр. в конце ст.

Любецкий В. А., Кановей В. Г.
   Теория множеств. Абсолютно неразрешимые классические проблемы : учебное пособие для вузов / Любецкий В. А., Кановей В. Г. - 2-е изд. - М. : Юрайт, 2024. - 356 с. - (Высшее образование). - Библиогр.: с. 343-355. - ISBN 978-5-534-10390-8.

Макконнелл Дж.
   Анализ алгоритмов. Активный обучающий подход : учеб. пособие / Макконнелл Дж. ; пер. с англ. Кулешов С. А. ; ред. пер. Ландо С. К. - 3-е доп. изд. - М. : Техносфера, 2013. - 415 с. : ил. - (Мир программирования). - Библиогр.: с. 408-412. - ISBN 978-5-94836-216-8.

Макоха А. Н., Сахнюк П. А., Червяков Н. И.
   Дискретная математика : учеб. пособие для вузов / Макоха А. Н., Сахнюк П. А., Червяков Н. И. - М. : Физматлит, 2005. - 368 с. - Библиогр.: с. 366-368. - ISBN 5-9221-0630-9.

Мальцев А. И., Мальцев И. А.
   Итеративные алгебры Поста : [монография] / Мальцев А. И., Мальцев И. А. ; РАН, РАН. СО. Ин-т математики им. С. Л. Соболева. - 2-е изд., доп. - М. : Наука, 2012. - 198 с. - Библиогр.: с. 160-193. - ISBN 978-5-02-037994-7.

Мальцев И. А.
   Дискретная математика : учебное пособие / Мальцев И. А. - 2-е изд., испр. - СПб. : Лань, 2011. - 290 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 278-279. - ISBN 978-5-8114-1010-1.