Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает себя около 200 задач различной трудности.
Kniga napisana po materialam lektsij i seminarov, provodivshikhsja avtorami dlja studentov mladshikh kursov mekhmata MGU. V nej rasskazyvaetsja ob osnovnykh ponjatijakh matematicheskoj logiki (logika vyskazyvanij, jazyki pervogo porjadka, vyrazimost, ischislenie vyskazyvanij, razreshimye teorii, teorema o polnote, nachala teorii modelej). Izlozhenie rasschitano na uchenikov matematicheskikh shkol, studentov-matematikov i vsekh interesujuschikhsja matematicheskoj logikoj. Kniga vkljuchaet sebja okolo 200 zadach razlichnoj trudnosti.
