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