Курс предназначен для поддержки изучения дисциплины "Элементы математической логики".