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