Пруцков А. В. Математическая логика и теория алгоритмов: учебник для вузов / Пруцков Алексей Викторович, Волкова Лилия Леонидовна. - Москва: ИНФРА-М: КУРС, 2023. - 152 с. - (Бакалавриат). - ISBN 978-5-906818-74-4. [подробнее]
22.12я73 Ш 24 Шапорев С. Д. Математическая логика: курс лекций и практических занятий: учебное пособие для вузов / Шапорев Сергей Дмитриевич. - Санкт-Петербург: БХВ-Петербург, 2017. - 416 с.: ил. - (Учебное пособие). - Список лит.: с. 405. - Предм. указ.: с. 406. - ISBN 978-5-9775-3806-0. [подробнее]
Хлебалин А. В. Модельно-теоретическая семантика, принцип композициональности и определение истины / Хлебалин Александр В. // Философия науки. - 2015. - № 4 (67). - С. 16 - 28. - Лит. в примеч. в конце статьи. [подробнее]
22.12 Б 854 Босс В. Лекции по математике. Т.6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя / Босс В. - Москва: Либроком, 2015. - 208 с. - Сокр. и обозн.: с. 200. - Лит.: с. 202. - Предм. указ.: с. 204. - ISBN 978-5-397-04993-1. [подробнее]
Целищев В. В. Субъективная математика Геделя: самоочевидные утверждения математики и артефакты синтаксических структур / Целищев Виталий Валентинович // Философия науки. - 2015. - № 1 (64). - С. 3 - 14. - Лит. в конце статьи. [подробнее]
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. [подробнее]