Индукция и рекурсия. Язык доказательств SSReflect
Пятница, 13 марта 2020
Таймс, ауд. 410
Рекурсия и индукция. Доказательства по индукции. Язык доказательств SSReflect.