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