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