МАТЛОГИКА ЭТО КРУТО
Описание: Мы настоящие фанаты матлогики. Разбуди нас среди ночи и мы докажем тебе алгоритмическую неразрешимость проблемы равенства слов в полугруппе. Мы знаем все про конструктивные вещественные числа. Присоединяйся. МЫ ЗАВОЮЕМ МИР!!!