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