Учебное пособие предназначено для студентов университетов и педагогических институтов, изучающих курс математической логики Авторы Леонид Лихтарников вфкщу Тамара Сукачева.