Верещагин Н., Шень А.: Языки и исчисления. Математическая логика и теория алгоритмов

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).

Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой.

Книга содержит около 200 задач различной трудности.

Предыдущее издание книги вышло в 2012 г.