22.122я73 К 608 Колмогоров А. Н. Введение в математическую логику: учебное пособие для вузов / Колмогоров Андрей Николаевич, Дрыгалин Альберт Григорьевич. - Москва: Издательство Московского университета, 1982. - 120 с. - Прил.: с. 116. - Лит.: с. 120. [подробнее]
22.12 С 491 Слупецкий Е. Элементы математической логики и теория множеств / Слупецкий Е., Борковский Л.; перевод с польского О. Ф. Серебрянникова; спецредактор И. Н. Коваленко. - Москва: Прогресс, 1965. - 368 с.: ил. - Прил.: с. 317. [подробнее]
22.122я7-4 Г 49 Гиндикин С. Г. Алгебра логики в задачах / Гиндикин Семен Григорьевич. - Москва: Наука, 1972. - 288 с. - Прил.: с. 279. - Лит.: с. 282. - Предм. указ.: с. 285. [подробнее]
22.122 К 268 Карри Х. Б. Основания математической логики / Карри Хаскелл Б.; перевод с английского В. В. Донченко; под редакцией Ю. А. Гастева. - Москва: Мир, 1969. - 568 с.: ил. - Библиогр.: с. 518. - Указ. символов: с. 548. - Указ. терм.: с. 549. - Имен. указ.: с. 563. [подробнее]
Хлебалин А. В. Языковые предпосылки в философии математики / Хлебалин А. В. // Философия науки. - 2006. - № 4 (31). - С. 45 - 60. - Лит. в примеч. в конце статьи. [подробнее]
Целищев В. В. Эпистемические критерии доказательства / Целищев В. В. // Философия науки. - 2006. - № 4 (31). - С. 20 - 43. - Лит. в конце статьи. [подробнее]
22.12я73 С 892 Судоплатов С. В. Математическая логика и теория алгоритмов: учебник для вузов / Судоплатов С. В., Овчинникова Е. В. - Москва; Новосибирск: ИНФРА-М: Издательство НГТУ, 2004. - 224 с.: ил. - (Высшее образование). - Список лит.: с. 212. - Предм. указ.: с. 215. - ISBN 5-16-001975-8. [подробнее]
22.1я43 К 63 Комбинаторика и логика / Гиндикин С. Г., Панов А., Васильев Н. и др.; составитель А. А. Егоров. - Москва: Бюро "Квантум", 2003. - 128 с.: ил. - (Приложение к журналу "Квант"; №1/2003). - ISBN 5-85843-041-4. [подробнее]
Бирюков Б. В. Из истории становления логико-математического конструктивизма / Бирюков Б. В., Кузичева З. А. // Вопросы философии. - 2004. - № 12. - С. 89 - 102. - Библиогр. - Примеч.: с. 100 - 102. [подробнее]