Описание:
Книга написана по материалам лекций и семинаров,
проводившихся авторами для студентов младших курсов мехмата МГУ. В ней
рассказывается об основных понятиях математической логики (логика
высказываний, языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изложение
рассчитано на учеников математических школ, студентов-математиков и всех
интересующихся математической логикой. Книга содержит около 200 задач
различной трудности.
Предыдущее издание книги вышло в 2012 г.
