Рабочая программа по дисциплине «Элементы математической логики»