- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени
Тип роботи:
Кандидатская
Рік:
2000
Артикул:
361677 179 грн
Рекомендовані дисертації
- Алгоритм поиска натурального вывода для интуиционистской логики высказываний
- Автоматический поиск натурального вывода в классической логике предикатов
- Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков
- Аналитико-табличная формализация систем временной логики
- Учение Аристотеля о модальности
- Логико-семиотический анализ сакральных текстов и сакральной коммуникации
- Интуиционистская логика и теория множеств
- Логико-семантические средства формализации текста в вопросно-ответной системе
- Паранепротиворечивость и релевантность
- Исследование силлогистических теорий средствами символической логики