Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (ВИИгошин Задачи и упражнения по математической логике и теораьбщоии алгоритмов) Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютербкувэами, информатикой, системами искусственного интеллекта Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика" 3-e издание, стереотипное Автор Владимир Игошин.