Внеаудиторная самостоятельная работа по дисциплине "Элементы математической логики"