Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1987. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Физматлит, 2004. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984. Клини С. К. Математическая логика. – М.: Мир, 1973. Гильберт Д., Аккерман В. Основы теоретической логики. – […]