Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов / Лавров Игорь Андреевич, Максимова Лариса Львовна. - 5-е изд., испр. - Москва: Физматлит, 2002. - 256 с.: ил. - Список лит.: с. 248. - Предм. указ.: с. 250. - ISBN 978-5-9221-0026-7. [подробнее]
22.12я723 Н 64 Никольская И. Л. Математическая логика: учебник для техникумов / Никольская Инна Львовна. - Москва: Высшая школа, 1981. - 127 с. - Использ. лит.: с. 123. - Предм. указ.: с. 124. [подробнее]
Подшивалов Г. К. Диалектика бизеса и нечеткая диалектическая логика компьютеризированных интеллектуальных систем принятия стратегических решений / Подшивалов Геннадий Карнильевич // Управление риском. - 2012. - № 2. - С. 9 - 25. [подробнее]
22.127 К 493 Клини С. Основания интуиционистской математики с точки зрения теории рекурсивных функций / Клини Стефен, Весли Ричард; перевод с английского Ф. А. Кабакова, Б. А. Кушнера. - Москва: Наука, 1978. - 272 с. - (Математическая логика и основания математики). - Библиогр.: с. 254. - Указ. имен: с. 267. - Предм. указ.: с. 268. - Указ. обозн.: с. 270. [подробнее]
22.12я73 К 903 Куликов Д. Л. Информатика. Системы счисления и алгебра логики: учебно-методическое пособие / Куликов Дмитрий Леонидович; в авторской редакции; рецензент А. С. Лукин; Министерство образования Московской области; ГБОУ ВПО МО "Международный университет природы, общества и человека "Дубна". Факультет экономики и управления. Кафедра управления проектами. - Дубна: Международный университет природы, общества и человека "Дубна", 2011. - 16 с. [подробнее]
22.12я73 К 903 Куликов Д. Л. Информатика: системы счисления и алгебра логики: учебно-методическое пособие / Куликов Дмитрий Леонидович; в авторской редакции; Министерство образования Московской области; ГБОУ ВПО "Международный университет природы, общества и человека "Дубна". Факультет экономики и управления. Кафедра управления проектами; рецензент А. С. Лукин. - Дубна: Международный университет природы, общества и человека "Дубна", 2011. - 15 с. [подробнее]
Кузичева З. А. Влияние теории релейно-контактных схем на развитие математической логики / Кузичева З. А. // Вестник Московского университета. Серия 7, Философия. - 2009. - № 1. - С. 53 - 62. - Библиогр. в примеч. [подробнее]
22.12я73-4 Л 136 Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов / Лавров Игорь Андреевич, Максимова Лариса Львовна. - 5-е изд., испр. - Москва: Физматлит, 2009. - 256 с.: ил. - Список лит.: с. 248. - Предм. указ.: с. 250. - ISBN 978-5-9221-0026-7. [подробнее]
Карпов А. В. Теорема о возможности в задаче пропорционального представительства / Карпов А. В. // Экономический журнал ВШЭ. - 2009. - Т. 13, № 4. - С. 596 - 615 : табл., расчет. - Примеч. - Лит. [подробнее]
22.12я73 З-981 Зюзьков В. М. Математическая логика и теория алгоритмов: учебное пособие для вузов / Зюзьков Валентин Михайлович, Шелупанов Александр Александрович; рецензенты В. А. Кочегуров, П. М. Нагорский. - 2-е изд. - Москва: Горячая линия - Телеком, 2007. - 176 с. - (Учебное пособие для высших учебных заведений: Специальность). - ISBN 5-93517-349-2. [подробнее]