|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Проблема доказательства разрешимости и полноты силлогистических теорий с помощью конструктивных методов (метода аналитических таблиц и построения множеств Хинтикки)статья
- Автор: Красненкова А.В.
- Сборник: Доказательство. Труды Московского семинара по философии математики. М.: URSS
- Год издания: 2013
- Место издания: URSS Москва
- Аннотация: В статье анализируются возможности различных способов построения конструктивных доказательств (на примере силлогистических теорий).
- Добавил в систему: Красненкова Анастасия Владимировна
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Problema_dokazatelstva_razreshimosti_i_polnotyi_sillogistic… | Problema_dokazatelstva_razreshimosti_i_polnotyi_sillogistic… | 76,5 КБ | 22 марта 2014 [krasnenkova_nastya] |