Курсовая работа – Математическая логика

Бюджет: по договоренности
Вид работы: Курсовая работа
Предмет: Математическая логика
Тема работы: Доказать разрешимость теории первого порядка с равенством К2 – элементарной теории плотно упорядоченных множеств без первого и последнего элементов.
Количество страниц: 30
Срoк сдачи: 22-04-2017
Опубликован 13.04.2017 в 19:21

Выберите способ верификации:

Обновите страницу после прохождения верификации.