Математическая логика
Отменен
Заказ
850797
Раздел
Математические дисциплины
Предмет
Тип работы
Антиплагиат
Не указан
Срок сдачи
18 Апр 2017 в 23:59
Цена
Договорная цена
Блокировка
20 дней
Размещен
13 Апр 2017 в 17:13
Просмотров
270
Описание работы
Доказать разрешимость теории первого порядка с равенством К2 - элементарной теории плотно упорядоченных множеств без первого и последнего элементов. Описание К2 -- см. в книге: ''Э. Мендельсон. Введение в математическую логику. М., 1971 - с. 89, упр.2''. (М.: с. 104 - 108)
К сожалению, самого файла нет.
К сожалению, самого файла нет.
Нужна такая же работа?
- Разместите заказ
- Выберите исполнителя
- Получите результат
| Гарантия на работу | 1 год |
| Средний балл | 4.53 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |
Предыдущий заказ
Следующий заказ
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
