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

Иванов О. А., Фридман Г. М.
   Дискретная математика и программирование в Wolfram Mathematica : учебное пособие для бакалавров / Иванов О. А., Фридман Г. М. - СПб. : Питер, 2019. - 349 с. : ил. - (Учебник для вузов). - Библиогр.: с. 346. - ISBN 978-5-4461-0867-1.

Игошин В. И.
   Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2006. - 302 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-2914-8.

Игошин В. И.
   Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для вузов / Игошин В. И. - 3-е изд., стер. - М. : Академия, 2007. - 302 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-3728-0.

Игошин В. И.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - М. : Академия, 2004. - 446 с. : ил. - (Высшее профессиональное образование: Педагогика). - Библиогр.: с. 435-442. - ISBN 5-7695-1363-2.

Игошин В. И.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1.

Игошин В. И.
   Элементы математической логики : учебник для СПО / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2017. - 313 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.: с. 311-312. - ISBN 978-5-4468-4664-1.

   Интенсиональные логики и логическая структура теорий : (материалы IV Советско-финского симпозиума по логике, Телави, май 20 - 24, 1985 г.) / Академия наук Грузинской ССР, Институт философии АН Грузинской ССР, Институт философии АН СССР. - Тбилиси : Мецниереба, 1988. - 182 с. : рис. - Библиогр. в конце статей. - ISBN 5-520-00211-8.

   Исследование логических систем / Академия наук СССР, Институт философии ; отв. ред. Таванец П. В. - М. : Наука, 1970. - 333 с. : ил. - Библиогр. в конце ст.

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

Казанский А. А.
   Дискретная математика в задачах / Казанский А. А. - М. : ТЕХНОСФЕРА, 2022. - 341 с. : рис., табл. - (Мир математики). - Библиогр. в конце кн. - ISBN 978-5-94836-657-9.