Математическая логика

• Ершов_Ю.Л.,_Палютин_Е.А._Математическаz_логика._1987.djvu
• Клини_С.К._Математическаz_логика._1973.djvu
• Колмогоров_А.Н.,_Драгалин_А.Г._Введение_в_математическую_логику._1962.djvu
• Колмогоров_А.Н.,_Драгалин_А.Г._Математическаz_логика._Дополнительные_главы._1984.djvu
• Лавров_И.А.,_Максимова_Л.Л._Задачи_по_теории_множеств,_математической_логике_и_теории_алгоритмов._1995.djvu
• Н.Н.Непейвода - Прикладная логика.pdf
• Чень, Ли. Математическая логика и автоматическое доказательство теорем.djvu