22.12я73 Б 825 Борисов В. В. Основы нечеткого логического вывода: учебное пособие / Борисов Вадим Владимирович, Федулов Александр Сергеевич, Зернов Михаил Михайлович. - Москва: Горячая линия - Телеком, 2014. - 122 с.: ил. - (Основы нечеткой математики; Кн.4). - Лит.: с. 117. - ISBN 9785991203746. [подробнее]
22.12я73 Б 825 Борисов В. В. Основы теории нечетких отношений: учебное пособие / Борисов Вадим Владимирович, Федулов Александр Сергеевич, Зернов Михаил Михайлович. - Москва: Горячая линия - Телеком, 2014. - 86 с.: ил. - (Основы нечеткой математики; Кн.3). - Лит.: с. 84. - ISBN 978-5-9912-0373-9. [подробнее]
Бессонов А. В. О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики. I / Бессонов А. В. // Философия науки. - 2014. - № 4 (63). - С. 12 - 31. - Лит. в примеч. в конце статьи. [подробнее]
Игошин В. И. Математическая логика / Игошин Владимир Иванович. - Москва: ИНФРА-М, 2023. - 399 с. - (Высшее образование: Бакалавриат). - Список лит.: с. 307. - ISBN 978-5-16-011691-4. [подробнее]
22.122я72-4 Б 744 Богомолова О. Б. Логические задачи / Богомолова Ольга Борисовна. - 4-е изд., испр. и доп. - Москва: Бином. Лаборатория знаний, 2013. - 277 с.: ил. - Лит.: с. 276. - ISBN 9785996310012. [подробнее]
Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов / Лавров Игорь Андреевич, Максимова Лариса Львовна. - 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 с. [подробнее]