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

   Алгоритмические вопросы алгебры и логики : сб. ст. / РАН. - М. : МАИК "Наука/Интерпериодика", 2011. - 351 с. - (Труды / Математический ин-т им. В. А. Стеклова ; т. 274). - Библиогр. в конце ст. - ISBN 978-5-7846-0119-3.

Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С.
   Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2011. - 43 с. : ил. - Библиогр. в конце брош.

Бояринцева Т. Е., Щетинин А. Н., Краснов И. К.
   Формальные языки и конечные автоматы : учеб. пособие / Бояринцева Т. Е., Щетинин А. Н., Краснов И. К. ; ред. Хомич В. И. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2002. - 34 с. - Библиогр.: с. 33. - ISBN 5-7038-1951-2.

Брусенцов Н. П.
   Алгебраическая реконструкция силлогистики / Брусенцов Н. П. // Информационные технологии. - 2008. - № 2. - С. 7-10.

   Булевы функции : метод. указания по решению типовых задач / Богомолова Н. Е., Вайц Е. В., Грачёва Ю. В., Добрыченко А. И. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2015. - 56 с. : ил. - Библиогр. в конце брош. - ISBN 978-5-7038-4288-1.

Виноградова М. С., Ткачев С. Б.
   Булевы функции : метод. указания к выполнению типового расчета / Виноградова М. С., Ткачев С. Б. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2007. - 31 с. ил. - Библиогр. в конце брош.

Герасимов А. С.
   Курс математической логики и теории вычислимости : учеб. пособие / Герасимов А. С. - 4-е изд., перераб. и доп. - СПб. : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 380-383. - ISBN 978-5-8114-1666-0.

Гладкий А. В.
   Математическая логика : учебное пособие / Гладкий А. В. ; Российский государственный гуманитарный университет. - М. : Российский государственный гуманитарный университет, 1998. - 479 с. : ил. - Библиогр.: с. 468-470. - ISBN 5-7281-0025-2.

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

Гринченков Д. В., Потоцкий С. И.
   Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Гринченков Д. В., Потоцкий С. И. - М. : Кнорус, 2017. - 206 с. - Библиогр.: с. 205-206. - ISBN 978-5-406-05421-5.