- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Теория вывода в многозначных логиках
Тип роботи:
кандидатская
Рік:
2003
Кількість сторінок:
155
Артикул:
203360 179 грн
Рекомендовані дисертації
- Автоматический поиск натурального вывода в классической логике предикатов
- Логическая теория смысла в аналитической философии : от логического эмпиризма к холизму
- Логические идеи Н.А. Васильева и паранепротиворечивые системы логики
- Алгоритм поиска вывода для систем негативной силлогистики
- Реконструкция логических систем Н. А. Васильева средствами современной логики
- Логико-методологическое исследование происхождения теории поиска вывода
- Структурные описания множеств формальных теорий
- Модальные логики с нестандартными модальностями
- Логико-методологические проблемы научного объяснения
- Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимости