Предлагаемое учебное пособие (2-ое изд., стереотип.) составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям'Математика?,'Прикладная математика'. Другие книги по математической логике и теории алгоритмов на сайте: Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Гладкий А.В. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики Ершов Ю.Л., Палютин Е.А. Математическая логика Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Клини С.К. Математическая логика Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Крайзель Г. Исследования по теории доказательств Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Л. М. Лихтарников, Т. Г. Сукачева Математическая логика Мацнев А.П. Математическая логика и теория алгоритмов Мальцев А.И. Избранные труды, в 2-х томах Мальцев А.Н. Алгоритмы и рекурсивные функции Мендельсон Э. Введение в математическую логику Никольская И.Л. Математическая логика Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения