Программа элективного курса «Основы математической логики» 8 класс