22.122я43 М 34 Математическая теория логического вывода: сборник переводов / Генцен Г., Бет Э., Кангер С. и др.; под редакцией А. В. Идельсона, Г. Е. Минца. - Москва: Наука, 1967. - 352 с. - (Математическая логика и основания математики). - Прил. [подробнее]
22.161.5 Я 146 Яблонский С. В. Функции алгебры логики и классы поста / Яблонский Сергей Всеволодович, Гаврилов Г. П., Кудрявцев В. Б. - Москва: Наука, 1966. - 120 с. - (Математическая логика и основания математики). - Библиогр. [подробнее]
22.122 Ч-50-8 Черч А. Введение в математическую логику. Т.1 / Черч А.; перевод с английского В. С. Чернявского; под редакцией В. А. Успенского. - Москва: Иностранная литература, 1960. - 487 с. - Примеч. [подробнее]
22.122я73 С 816 Столяр А. А. Элементарное введение в математическую логику: пособие для учителей / Столяр Абрам Аронович. - Москва: Просвещение, 1965. - 164 с. [подробнее]
22.12 Х 204 Харин Н. Н. Математическая логика и теория множеств: (О соотношении абстрактного и конкретного) / Харин Н. Н.; под редакцией Я. Л. Харипинского. - Москва: Росвузиздат, 1963. - 191 с. [подробнее]
22.12я73-4 Л 136 Лавров И. А. Задачи по теории множеств, математической логике и теории алгоритмов / Лавров Игорь Андреевич, Максимова Лариса Львовна. - 3-е изд. - Москва: Физматлит, 1995. - 255 с.: ил. - Список лит.: с. 248. - Предм. указ.: с. 250. - ISBN 5-02-014844-Х. [подробнее]
22.122.я43 П 781 Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов / под редакцией В. А. Козмидиади и А. А. Мучника. - Москва: Мир, 1970. - 431 с. [подробнее]
22.1я73 испр. К 265 Карпов В. Г. Математическая логика и дискретная математика: учебное пособие для вузов / Карпов Виктор Георгиевич, Мощенский Владимир Андреевич. - Москва: Вышэйшая школа, 1977. - 256 с. - Рек. лит.: с. 242. - Лит.: с. 243. - Предм. указ.: с. 245. [подробнее]
Списана Депман И. Я. Первое знакомство с математической логикой / Депман Иван Яковлевич. - 2-е изд., испр. - Ленинград: Знание, 1965. - 56 с. [подробнее]