Теория вывода в многозначных логиках
- Автор:
Комендантский, Владимир Евгеньевич
- Шифр специальности:
09.00.07
- Научная степень:
Кандидатская
- Год защиты:
2003
- Место защиты:
Москва
- Количество страниц:
155 с. : ил
Стоимость:
700 р.250 руб.
до окончания действия скидки
00
00
00
00
+
Наш сайт выгодно отличается тем что при покупке, кроме PDF версии Вы в подарок получаете работу преобразованную в WORD - документ и это предоставляет качественно другие возможности при работе с документом
Страницы оглавления работы
Рекомендуемые диссертации данного раздела
| Название работы | Автор | Дата защиты |
|---|---|---|
| Автоматический поиск натурального вывода в классической логике предикатов | Шангин, Василий Олегович | 2004 |
| Логика в университетской философии Санкт-Петербурга начала XX века : дискуссия А.И. Введенского и Н.О. Лосского | Попова, Варвара Сергеевна | 2006 |
| Современные проблемы использования табличных методов в логике | Антонова, Ольга Аркадьевна | 2005 |